Christel Baier, Nathalie Bertrand, Ph. Schnoebelen. On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems. In Miki Hermann, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings. Volume 4246 of Lecture Notes in Computer Science, pages 347-361, Springer, 2006. [doi]
@inproceedings{BaierBS06,
title = {On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems},
author = {Christel Baier and Nathalie Bertrand and Ph. Schnoebelen},
year = {2006},
doi = {10.1007/11916277_24},
url = {http://dx.doi.org/10.1007/11916277_24},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BaierBS06},
cites = {0},
citedby = {0},
pages = {347-361},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings},
editor = {Miki Hermann and Andrei Voronkov},
volume = {4246},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-48281-4},
}