Salvatore La Torre, Gennaro Parlato
On the Complexity of LtlModel-Checking of Recursive State Machines
ICALP, 2007.
@inproceedings{ICALP-2007-TorreP,
author = "Salvatore La Torre and Gennaro Parlato",
booktitle = "{Proceedings of the 34th International Colloquium on Automata, Languages and Programming}",
doi = "10.1007/978-3-540-73420-8_80",
isbn = "978-3-540-73419-2",
pages = "937--948",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{On the Complexity of LtlModel-Checking of Recursive State Machines}",
volume = 4596,
year = 2007,
}