1998
Normed simulations
Publication
Publication
Presented at the
International Conference on Computer Aided Verification, Vancouver, BC
Additional Metadata | |
---|---|
, | |
Springer | |
Lecture Notes in Computer Science | |
International Conference on Computer Aided Verification | |
Griffioen, W. O. D., & Vaandrager, F. (1998). Normed simulations. In Proceedings of International Conference on Computer Aided Verification 1998 (pp. 332–344). Springer. |