Ioannis Filippidis, Gerard J. Holzmann. An improvement of the piggyback algorithm for parallel model checking. In Neha Rungta, Oksana Tkachuk, editors, 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014. pages 48-57, ACM, 2014. [doi]
@inproceedings{FilippidisH14,
title = {An improvement of the piggyback algorithm for parallel model checking},
author = {Ioannis Filippidis and Gerard J. Holzmann},
year = {2014},
doi = {10.1145/2632362.2632375},
url = {http://doi.acm.org/10.1145/2632362.2632375},
researchr = {https://researchr.org/publication/FilippidisH14},
cites = {0},
citedby = {0},
pages = {48-57},
booktitle = {2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
editor = {Neha Rungta and Oksana Tkachuk},
publisher = {ACM},
isbn = {978-1-4503-2452-6},
}