Radu Mateescu 0001. On-the-fly state space reductions for weak equivalences. In Tiziana Margaria, Mieke Massink, editors, Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005. pages 80-89, ACM, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.