2006-test.bib

@COMMENT{{This file has been generated by bib2bib 1.82}}

@COMMENT{{Command line: /usr/bin/bib2bib -ob 2006-test.bib -c 'gvcat :"test"' bibs/2006.bib}}

@INPROCEEDINGS{GenonMM06,
  AUTHOR = {Alexandre Genon and
               Thierry Massart and
               C{\'e}dric Meuter},
  TITLE = {Monitoring Distributed Controllers: When an Efficient LTL
               Algorithm on Sequences Is Needed to Model-Check Traces.},
  BOOKTITLE = {FM 2006: Formal Methods, 14th International Symposium on
               Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {4085},
  YEAR = {2006},
  PAGES = {557-572},
  GVCAT = {test}
}

This file has been generated by bibtex2html 1.82.