Trace-Based Abstract Interpretation of Operational Semantics
Lisp and Symbolic Computation
Composition, decomposition and model checking of pushdown processes
Nordic Journal of Computing
Demand-Driven Model Checking for Context-Free Processes
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Automatic verification of sequential infinite-state processes
Automatic verification of sequential infinite-state processes
Hi-index | 0.00 |