Runtime verification revisited (bibtex)
by Oliver Arafat, Andreas Bauer, Martin Leucker, Christian Schallhart
Reference:
Runtime verification revisitedOliver Arafat, Andreas Bauer, Martin Leucker, Christian Schallhart2005, Technical report, Technische Universität München.
Bibtex Entry:
@techreport{arafat:bauer:leucker:schallhart:TUM:05,
  author = {Oliver Arafat and Andreas Bauer and Martin Leucker and Christian
  Schallhart},
  title = {{Runtime verification revisited}},
  number = {TUM-I0518},
  year = {2005},
  institution = {Technische Universit\"at M\"unchen}
}
Powered by bibtexbrowser