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:
@string{springer="Springer"}
@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 = {}
}