Ronald Veldema, Michael Philippsen. Tapir: Language Support to Reduce the State Space in Model-Checking. In Stefan Fischer, Erik Maehle, Rüdiger Reischuk, editors, Informatik 2009: Im Focus das Leben, Beiträge der 39. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 28.9.-2.10.2009, Lübeck, Proceedings. Volume 154 of LNI, pages 2860-2874, GI, 2009.
@inproceedings{VeldemaP09, title = {Tapir: Language Support to Reduce the State Space in Model-Checking}, author = {Ronald Veldema and Michael Philippsen}, year = {2009}, tags = {model checking, meta-model, modeling language, language modeling, Meta-Environment}, researchr = {https://researchr.org/publication/VeldemaP09}, cites = {0}, citedby = {0}, pages = {2860-2874}, booktitle = {Informatik 2009: Im Focus das Leben, Beitr\"age der 39. Jahrestagung der Gesellschaft f\"ur Informatik e.V. (GI), 28.9.-2.10.2009, L\"ubeck, Proceedings}, editor = {Stefan Fischer and Erik Maehle and Rüdiger Reischuk}, volume = {154}, series = {LNI}, publisher = {GI}, isbn = {978-3-88579-248-2}, }