Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Deterministic Simulation of Hybrid Flow Components
DS-RT '07 Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Operational semantics of hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
| Hi-index | 0.00 |