WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
Language Containment Checking with Nondeterministic BDDs
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Solving μ-Calculus Parity Games by Symbolic Planning
Model Checking and Artificial Intelligence
Hi-index | 0.00 |