Skip to main content
Home
LaFHIS
The Tools and Foundations for Software Engineering Lab at UBA

Main menu

  • Home
  • People
  • Publications
  • Past Members
  • Contact

You are here

Home

New Article: "Reversing Place Transition Nets"

Submitted by jgaleotti on 10/20

H. Melgratti, C. Mezzina, I. Ulidowski. Reversing Place Transition Nets. Accepted in Logical Methods in Computer Science. 

Undefined

Latest News

12/21
Sebastian Uchitel will be keynote speaker at the 19th International Conference on Software Engineering and Formal Methods
12/21
Victor Braberman is program committee member for ESEC/FSE 2021, ASE 2021 and ICSE 2022
12/21
New Article: "Assured Automatic Dynamic Reconfiguration of Business Processes"
06/21
New Article: "Synthesis of Run-To-Completion Controllers for Discrete Event Systems"
10/20
New Article: "Reversing Place Transition Nets"
09/20
Sebastián Uchitel fellow of "Academia Nacional de Ciencias Exactas, Físicas y Naturales"
09/20
Juan P. Galeotti is Program Committee for ICST 2021
09/20
New Article: "Enablednessbased Testing of Object Protocols"
More news

User login

  • Request new password
LAFHIS
Departamento de Computación, Facultad de Ciencias Exactas y Naturales,
Universidad de Buenos Aires, Argentina. [ Google Maps Link ]
Pabellón 1, Ciudad Universitaria, Intendente Güiraldes 2160
Buenos Aires (C1428EGA), Argentina
Tel. (+54 11) 4576 3390 ext. 704