DAngeloSSRFSMM05'

BibTeX

@inproceedings{DBLP:conf/time/DAngeloSSRFSMM05,
  author    = {Ben D'Angelo and
               Sriram Sankaranarayanan and
               C{\'e}sar S{\'a}nchez and
               Will Robinson and
               Bernd Finkbeiner and
               Henny B. Sipma and
               Sandeep Mehrotra and
               Zohar Manna},
  title     = {LOLA: Runtime Monitoring of Synchronous Systems},
  booktitle = {TIME},
  year      = {2005},
  pages     = {166-174},
  ee        = {http://dx.doi.org/10.1109/TIME.2005.26},
  crossref  = {DBLP:conf/time/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/time/2005,
  title     = {12th International Symposium on Temporal Representation
               and Reasoning (TIME 2005), 23-25 June 2005, Burlington,
               Vermont, USA},
  booktitle = {TIME},
  publisher = {IEEE Computer Society},
  year      = {2005},
  isbn      = {0-7695-2370-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}