Thomas Geffroy, Jérôme Leroux, Grégoire Sutre. Backward coverability with pruning for lossy channel systems. In Hakan Erdogmus, Klaus Havelund, editors, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. pages 132-141, ACM, 2017. [doi]
@inproceedings{GeffroyLS17,
title = {Backward coverability with pruning for lossy channel systems},
author = {Thomas Geffroy and Jérôme Leroux and Grégoire Sutre},
year = {2017},
doi = {10.1145/3092282.3092292},
url = {http://doi.acm.org/10.1145/3092282.3092292},
researchr = {https://researchr.org/publication/GeffroyLS17},
cites = {0},
citedby = {0},
pages = {132-141},
booktitle = {Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017},
editor = {Hakan Erdogmus and Klaus Havelund},
publisher = {ACM},
isbn = {978-1-4503-5077-8},
}