Implementing LTL model checking with net unfoldings
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Bounded LTL Model Checking with Stable Models
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Bounded LTL model checking with stable models
Theory and Practice of Logic Programming
Functional verification of task partitioning for multiprocessor embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Automatic formal model generation and analysis of SDL
SDL'03 Proceedings of the 11th international conference on System design
A purpose-directed reachability analysis approach
TELE-INFO'06 Proceedings of the 5th WSEAS international conference on Telecommunications and informatics
The NEO protocol for large-scale distributed database systems: modelling and initial verification
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
| Hi-index | 0.00 |