Comparing LTL Semantics for Runtime Verification (bibtex)
by Andreas Bauer, Martin Leucker, Christian Schallhart
Comparing LTL Semantics for Runtime VerificationAndreas Bauer, Martin Leucker, Christian SchallhartJournal of Logic and Computation (JLC), 2010.Note: accepted for publication
Bibtex Entry:
  author = {Andreas Bauer and Martin Leucker and Christian Schallhart},
  title = {{Comparing LTL Semantics for Runtime Verification}},
  year = {2010},
  journal = {{Journal of Logic and Computation (JLC)}},
  note = {accepted for publication},
  doi = {doi: 10.1093/logcom/exn075}
Powered by bibtexbrowser