Maria: Modular Reachability Analyser for Algebraic System Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
The Challenge of Object Orientation for the Analysis of Concurrent Systems
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
State space exploration of object-based systems using equivalence reduction and the sweepline method
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Hi-index | 0.00 |