@inproceedings{mci/Veldema2009,
author = {Veldema, Ronald AND Philippsen, Michael},
title = {Tapir: Language support to reduce the state space in model-checking},
booktitle = {Informatik 2009 – Im Focus das Leben},
year = {2009},
editor = {Fischer, Stefan AND Maehle, Erik AND Reischuk, Rüdiger} ,
pages = { 364-364 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}