Robin P. Neatherway, C.-H. Luke Ong. TravMC2: higher-order model checking for alternating parity tree automata. 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 129-132, ACM, 2014. [doi]
@inproceedings{NeatherwayO14,
title = {TravMC2: higher-order model checking for alternating parity tree automata},
author = {Robin P. Neatherway and C.-H. Luke Ong},
year = {2014},
doi = {10.1145/2632362.2632381},
url = {http://doi.acm.org/10.1145/2632362.2632381},
researchr = {https://researchr.org/publication/NeatherwayO14},
cites = {0},
citedby = {0},
pages = {129-132},
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},
}