Runtime Verfication for LTL and TLTL (bibtex)
by Andreas Bauer, Martin Leucker, Christian Schallhart
Reference:
Runtime Verfication for LTL and TLTLAndreas Bauer, Martin Leucker, Christian Schallhart2007, Technical report, Institut für Informatik, Technische Universität München.
Bibtex Entry:
@techreport{bauer07:_runtim_verfic_ltl_tltl,
  author = {Andreas Bauer and Martin Leucker and Christian Schallhart},
  title = {{Runtime Verfication for LTL and TLTL}},
  number = {{TUM-I0724}},
  year = {2007},
  institution = {{Institut f{\"u}r Informatik, Technische Universit{\"a}t
  M{\"u}nchen}}
}
Powered by bibtexbrowser