A Brief Account of Runtime Verification (bibtex)
by Martin Leucker, Christian Schallhart
Reference:
A Brief Account of Runtime VerificationMartin Leucker, Christian SchallhartJournal of Logic and Algebraic Programming (JLAP), number 78, pages 293-303, 2009.
Bibtex Entry:
@article{leucker08:_brief_accoun_of_runtim_verif,
  author = {Martin Leucker and Christian Schallhart},
  title = {{A Brief Account of Runtime Verification}},
  number = {78},
  year = {2009},
  journal = {{Journal of Logic and Algebraic Programming (JLAP)}},
  pages = {293-303}
}
Powered by bibtexbrowser