Toggle navigation
Home
People
Departments
Research
About
Login
Search
[1992] Proceedings of the 31st IEEE Conference on Decision and Control
Journal
Overview
Overview
publication venue for
Equivalence preserving transformations for timed transition models
1992