On the Formal Verification of Systems of Synchronous Software Components (bibtex)
by Henning Günther, Stefan Milius, Oliver Möller
Reference:
On the Formal Verification of Systems of Synchronous Software ComponentsHenning Günther, Stefan Milius, Oliver Möller31st International Conference on Computer Safety, Reliability and Security (SAFECOMP), pages 291-304, 2012.
Bibtex Entry:
@inproceedings{DBLP:conf/safecomp/GuntherMM12,
  author    = {Henning G{\"u}nther and
               Stefan Milius and
               Oliver M{\"o}ller},
  title     = {On the Formal Verification of Systems of Synchronous Software
               Components},
  booktitle = {31st International Conference on Computer Safety, Reliability and Security (SAFECOMP)},
  year      = {2012},
  pages     = {291-304},
  ee        = {http://dx.doi.org/10.1007/978-3-642-33678-2_25},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser