Journal of Parallel and Distributed Computing
Modeling and verification of cryptographic protocols using coloured petri nets and design/CPN
Nordic Journal of Computing
Modular state spaces for prioritised Petri Nets
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Hi-index | 0.00 |