2006-mc.bib

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

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

@INPROCEEDINGS{DBLP:conf/cav/WulfDHR06,
  AUTHOR = {Martin De Wulf and
               Laurent Doyen and
               Thomas A. Henzinger and
               Jean-Fran\c{c}ois Raskin},
  TITLE = {Antichains: A New Algorithm for Checking Universality of
               Finite Automata.},
  BOOKTITLE = {Computer Aided Verification, 18th International Conference,
               CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {4207},
  PUBLISHER = {Springer},
  YEAR = {2006},
  PAGES = {17-30},
  GVCAT = {mc}
}

@ARTICLE{DBLP:journals/tcs/MarkeyR06,
  AUTHOR = {Nicolas Markey and
               Jean-Fran\c{c}ois Raskin},
  TITLE = {Model checking restricted sets of timed paths.},
  JOURNAL = {Theor. Comput. Sci.},
  VOLUME = {358},
  NUMBER = {2-3},
  YEAR = {2006},
  PAGES = {273-292},
  EE = {http://dx.doi.org/10.1016/j.tcs.2006.01.019},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  GVCAT = {mc}
}

@INPROCEEDINGS{TACAS07,
  AUTHOR = {Laurent Doyen and Jean-Fran\c{c}ois Raskin},
  TITLE = {Improved Algorithms for the Automata-Based
    Approach to Model-Checking},
  BOOKTITLE = {TACAS'07 - Lecture Notes in Computer Science},
  YEAR = {2007 (to appear)},
  PAGES = {16},
  GVCAT = {mc}
}

@INPROCEEDINGS{CG06,
  AUTHOR = {Jean-François Raskin and Frédéric Servais},
  TITLE = {On the Symbolic Computation of the Hardest Configurations of
    the Rush Hour Game},
  BOOKTITLE = {Computer and Games'06},
  YEAR = {2006 (to appear)},
  PAGES = {12},
  GVCAT = {mc}
}

@INPROCEEDINGS{CAV2007,
  AUTHOR = {Martin De Wulf and Laurent Doyen and Nicolas Maquet and
  Jean-Fran\c{c}ois Raskin},
  TITLE = {LTL Satisfiability and Model-Checking
    Revisited},
  BOOKTITLE = {Submitted for publication},
  YEAR = {2007},
  PAGES = {20},
  GVCAT = {mc}
}

This file has been generated by bibtex2html 1.82.