On the formal verification of systems of synchronous software components (bibtex)
by Henning Günther, Stefan Milius and Oliver Möller
Reference:
Henning Günther, Stefan Milius and Oliver Möller: On the formal verification of systems of synchronous software components, In Frank Ortmeier, Peter Daniel, eds.: Proc. SAFECOMP'12, Lecture Notes Comput. Sci., vol. 7612, pp. 291–304, Springer, 2012. Extended version available at http:\\www.versyko.de The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-33678-2_25.
Bibtex Entry:
@InProceedings{gmm12,
  author = 	 {Henning G\"unther and Stefan Milius and Oliver M\"oller},
  title = 	 {On the formal verification of systems of synchronous software components},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~SAFECOMP'12},
  pages = 	 {291--304},
  year = 	 {2012},
  editor = 	 {Frank Ortmeier and Peter Daniel},
  volume = 	 {7612},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci.},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  doi       = {10.1007/978-3-642-33678-2_25},
  publisher = {Springer},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-33678-2_25">http://dx.doi.org/10.1007/978-3-642-33678-2_25</a>.},
  note = 	 {{E}xtended version available at \url{http:\\www.versyko.de}},
  OPTannote = 	 {}
}
Powered by bibtexbrowser