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

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"
09/20
New Article: "On Resolving Nondeterminism in Choreographies"
09/20
New article: "Unified DEVS-based platform for Modeling and Simulation of Hybrid Control Systems”
07/20
New Article: "Iterator-Based Temporal Logic Task Planning"
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