A framework for formal verification of systems of synchronous components (bibtex)
by Stefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner
Reference:
A framework for formal verification of systems of synchronous componentsStefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner8. Workshop für Modellbasierte Entwicklung eingebetteter Systeme (MBEES), pages 145-154, 2012.
Bibtex Entry:
@inproceedings{DBLP:conf/mbees/MiliusGPMLSHZ12,
  author    = {Stefan Milius and
               Henning G{\"u}nther and
               Jan Peleska and
               Oliver M{\"o}ller and
               Helge L{\"o}ding and
               Martin Sulzmann and
               Ramin Hedayati and
               Axel Zechner},
  title     = {A framework for formal verification of systems of synchronous
               components},
  booktitle = {8. Workshop für Modellbasierte Entwicklung eingebetteter Systeme (MBEES)},
  series    = {MBEES},
  year      = {2012},
  pages     = {145-154},
  address   = {Dagstuhl},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser