A framework for formal verification of systems of synchronous components (bibtex)
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. Available at http:\\www.versyko.de
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 = {},
  note = 	 {{A}vailable at \url{http:\\www.versyko.de}},
  OPTannote = 	 {}
}
Powered by bibtexbrowser