I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Thesis Details

Thesis:A Tool for Modal Transition Systems
Please have a look at the tool here

DoneStatus: Finished
Contact: jan.kretinsky@in.tum.de
Supervisor: Javier Esparza
Advisor: Jan Kretinsky