Additional Metadata
Publisher Springer
Editor G.M. Johnson , not CWI et al
Series Lecture Notes in Computer Science
Conference International Workshop on Parallel and Distributed Methods in Verification
Valero Espada, M.A, & van de Pol, J.C. (2006). Accelerated Modal Abstractions of Labelled Transition Systems. In G.M Johnson & not CWI et al (Eds.), Proceedings of the International Conference on Algebraic Methodolody and Software Technology (pp. 338–352). Springer.