Model Checking of Unrestricted Hierarchical State Machines
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Analysis of recursive state machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic verification of sequential infinite-state processes
Automatic verification of sequential infinite-state processes
Some remarks on definability of process graphs
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Hi-index | 0.01 |