Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Computing a Finite Prefix of a Time Petri Net
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Weak bisimulation for Probabilistic Timed Automata
Theoretical Computer Science
Transformation of MTCCS into an extension of timed
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Bisimulation and Open Maps for Timed Transition Systems
Fundamenta Informaticae
Hi-index | 0.00 |