Runtime Verification for LTL and TLTL (bibtex)
by Andreas Bauer, Martin Leucker, Christian Schallhart
Reference:
Runtime Verification for LTL and TLTLAndreas Bauer, Martin Leucker, Christian SchallhartACM Transactions on Software and Methodology (TOSEM), 2010.Note: accepted for publication
Bibtex Entry:
@article{bauer09:_runtim_verif_for_ltl_and_tltl,
  author = {Andreas Bauer and Martin Leucker and Christian Schallhart},
  title = {{Runtime Verification for LTL and TLTL}},
  year = {2010},
  journal = {{ACM Transactions on Software and Methodology (TOSEM)}},
  note = {accepted for publication}
}
Powered by bibtexbrowser