Tools for efficient analysis of conurrent software systems
Proceedings of the second conference on Software development tools, techniques, and alternatives
ACM Computing Surveys (CSUR)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Formal Properties of Place/Transition Nets
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Reachability analysis of protocols with FIFO channels
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols
Using raddle to design distributed systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
IEEE Transactions on Software Engineering
Hi-index | 0.00 |