On-the-fly state space reductions for weak equivalences

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]

Abstract

Abstract is missing.