Analysis of real-time programs with simple time Petri nets
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Stubborn Sets for Real-Time Petri Nets
Formal Methods in System Design
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
Automated Software Engineering
Parametric Behaviour Analysis for Time Petri Nets
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
On Stubborn Sets in the Verification of Linear Time Temporal Properties
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
A Partial Order Method for the Verification of Time Petri Nets
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Analysis of Timed Concurrent Models Based on Testing Equivalence
Fundamenta Informaticae
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
On combining the ready sets with the covering steps methods
International Journal of Critical Computer-Based Systems
| Hi-index | 0.00 |