AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A Compositional Petri Net Semantics for SDL
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
System Specification and Verification Using High Level Concepts - A Tool Demonstration
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Hi-index | 0.00 |