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]
@inproceedings{000105-6,
title = {On-the-fly state space reductions for weak equivalences},
author = {Radu Mateescu 0001},
year = {2005},
doi = {10.1145/1081180.1081191},
url = {https://doi.org/10.1145/1081180.1081191},
researchr = {https://researchr.org/publication/000105-6},
cites = {0},
citedby = {0},
pages = {80-89},
booktitle = {Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005},
editor = {Tiziana Margaria and Mieke Massink},
publisher = {ACM},
}