by Henning Günther, Ramin Hedayati, Helge Löding,
Stefan Milius, Oliver Möller, Jan Peleska, Martin Sulzmann and Axel Zechner
Reference:
Henning Günther, Ramin Hedayati, Helge Löding, Stefan Milius, Oliver Möller, Jan Peleska, Martin Sulzmann and Axel Zechner: A framework for formal verification of systems of synchronous components, In Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz, eds.: Tagungsband Modellbasierte Entwicklung eingebetteter Systeme (MBEES'12), pp. 145–154, 2012.
Bibtex Entry:
@InProceedings{mbees12,
author = {Henning G\"unther and Ramin Hedayati and Helge L\"oding and Stefan Milius and Oliver M\"oller and Jan Peleska and Martin Sulzmann and Axel Zechner},
title = {A framework for formal verification of systems of synchronous components},
OPTcrossref = {},
OPTkey = {},
booktitle = {Tagungsband Modellbasierte Entwicklung eingebetteter Systeme (MBEES'12)},
pages = {145--154},
year = {2012},
editor = {Holger Giese and Michaela Huhn and Jan Phillips and Bernhard Sch\"atz},
OPTvolume = {},
OPTnumber = {},
OPTseries = {},
address = {fortiss GmbH, M\"unchen},
OPTmonth = {},
OPTorganization = {},
OPTpublisher = {},
nonote = {{A}vailable at \url{http:\\www.versyko.de}},
OPTannote = {}
}