2006-sys.bib

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

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

@INPROCEEDINGS{LM2007,
  AUTHOR = {Michael Leuschel and Thierry Massart},
  TITLE = {Efficient Approximate Verification of B via Symmetry Markers},
  BOOKTITLE = {Proc. of the International  Symmetry Conference},
  YEAR = {2007},
  ADDRESS = {Edinburgh, UK},
  MONTH = {January},
  NOTE = {(15 pages)},
  GVCAT = {sys}
}

This file has been generated by bibtex2html 1.82.