Temporal proof methodologies for real-time systems
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The rise of Web-based simulation: implications for the high level architecture
Proceedings of the 30th conference on Winter simulation
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
| Hi-index | 0.00 |