Springer
Lecture Notes in Computer Science
International Conference on Computer Aided Verification
Specification and Analysis of Embedded Systems

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.