Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud. Designing a LTL Model-Checker Based on Unfolding Graphs. In Mogens Nielsen, Dan Simpson, editors, Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding. Volume 1825 of Lecture Notes in Computer Science, pages 123-145, Springer, 2000. [doi]
@inproceedings{CouvreurGP00,
title = {Designing a LTL Model-Checker Based on Unfolding Graphs},
author = {Jean-Michel Couvreur and Sébastien Grivet and Denis Poitrenaud},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1825/18250123.htm},
tags = {rule-based, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/CouvreurGP00},
cites = {0},
citedby = {0},
pages = {123-145},
booktitle = {Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
editor = {Mogens Nielsen and Dan Simpson},
volume = {1825},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67693-7},
}