Comparing LTL Semantics for Runtime Verification (bibtex)
by Andreas Bauer, Martin Leucker, Christian Schallhart
Reference:
Comparing LTL Semantics for Runtime VerificationAndreas Bauer, Martin Leucker, Christian SchallhartJournal of Logic and Computation (JLC), 2010.Note: accepted for publication
Bibtex Entry:
@article{bauer09:_compar_ltl_seman_for_runtim_verif,
  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