Impartial Anticipation in Runtime-Verification (bibtex)
by Wei Dong, Martin Leucker, Christian Schallhart
Reference:
Impartial Anticipation in Runtime-VerificationWei Dong, Martin Leucker, Christian SchallhartAutomated Technology for Verification and Analysis (ATVA'08), volume 5311 of Lecture Notes in Computer Science (LNCS), pages 386-396, 2008.
Bibtex Entry:
@inproceedings{leucker08:_impar_antic_in_runtim_verif,
  author = {Wei Dong and Martin Leucker and Christian Schallhart},
  title = {{Impartial Anticipation in Runtime-Verification}},
  year = {2008},
  booktitle = {{Automated Technology for Verification and Analysis (ATVA'08)}},
  pages = {386--396},
  series = {Lecture Notes in Computer Science (LNCS)},
  volume = {5311}
}
Powered by bibtexbrowser