Model checking real-time value-passing systems
Journal of Computer Science and Technology
Simulation and bisimulation for probabilistic timed automata
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Tabled resolution + constraints: a recipe for model checking real-time systems
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
An Axiomatization for Regular Processes in Timed Branching Bisimulation
Fundamenta Informaticae
Hi-index | 0.00 |