Ingo Felscher. LTL-Model-Checking via Model Composition. In Alain Finkel, Jérôme Leroux, Igor Potapov, editors, Reachability Problems - 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings. Volume 7550 of Lecture Notes in Computer Science, pages 42-53, Springer, 2012. [doi]
@inproceedings{Felscher12,
title = {LTL-Model-Checking via Model Composition},
author = {Ingo Felscher},
year = {2012},
doi = {10.1007/978-3-642-33512-9_5},
url = {http://dx.doi.org/10.1007/978-3-642-33512-9_5},
researchr = {https://researchr.org/publication/Felscher12},
cites = {0},
citedby = {0},
pages = {42-53},
booktitle = {Reachability Problems - 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings},
editor = {Alain Finkel and Jérôme Leroux and Igor Potapov},
volume = {7550},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-33511-2},
}