Additional Metadata
Publisher Springer
Series Lecture Notes in Computer Science
Conference International Conference on Computer Aided Verification
Citation
Blom, S.C.C, & van de Pol, J.C. (2002). State Space Reduction by Proving Confluence. In Proceedings of International Conference on Computer Aided Verification 2002 (14) (pp. 1–14). Springer.