Volume 149, Number 1, February 2006
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY 2005)
Volume 149, Number 2, February 2006
Proceedings of the Third Workshop on Model Checking and Artificial Intelligence (MoChArt 2005)
: Relay Reachability Algorithm for Exploring Huge State Space.
, Albert Nymeyer
: Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis.