Efficient encoding schemes for symbolic analysis of petri nets
Proceedings of the conference on Design, automation and test in Europe
Symbolic Analysis of Bounded Petri Nets
IEEE Transactions on Computers
Structural Methods to Improve the Symbolic Analysis of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Managing space for finite-state verification
Proceedings of the 28th international conference on Software engineering
Exploiting interleaving semantics in symbolic state-space generation
Formal Methods in System Design
Using ZBDDs in Points-to Analysis
Languages and Compilers for Parallel Computing
Efficient Set Sharing Using ZBDDs
Languages and Compilers for Parallel Computing
IDD-based model validation of biochemical networks
Theoretical Computer Science
Ten years of saturation: a petri net perspective
Transactions on Petri Nets and Other Models of Concurrency V
Hi-index | 0.00 |