Parametric real-time reasoning
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
An old-fashioned recipe for real time
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model checking of systems with many identical timed processes
Theoretical Computer Science
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Towards a Notion of Distributed Time for Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Modeling And Verification Of Real-Time Systems
Journal of Integrated Design & Process Science
Using forward reachability analysis for verification of timed petri nets
Nordic Journal of Computing
Verification of parameterized timed systems
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Real-time model checking is really simple
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
Hi-index | 0.00 |