Monitoring of Realtime Properties (bibtex)
by Andreas Bauer, Martin Leucker, Christian Schallhart
Reference:
Monitoring of Realtime PropertiesAndreas Bauer, Martin Leucker, Christian SchallhartFoundations of Software Technology and Theoretical Computer Science (FSTTCS'06), pages 260-272, 2006.
Bibtex Entry:
@inproceedings{bauer06:_monit_realt_proper,
  author = {Andreas Bauer and Martin Leucker and Christian Schallhart},
  title = {{Monitoring of Realtime Properties}},
  year = {2006},
  booktitle = {{Foundations of Software Technology and Theoretical Computer   Science (FSTTCS'06)}},
  pages = {260--272}
}
Powered by bibtexbrowser