chapter.bib

@comment{{This file has been generated by bib2bib 1.96}}

@comment{{Command line: ./bib2bib -oc selection -ob chapter.bib -c 'category : "chapitre"' mesPublications.bib}}

@incollection{cassez-ars-08,
  title = {{From Time Petri nets to Timed Automata}},
  booktitle = {{Petri Net: Theory and Application}},
  author = {Cassez, Franck and Roux, Olivier (H.)},
  publisher = { Edited by Vedran Kordic, I-Tech Publishing, Vienna, Austria},
  note = {ISBN  978-3-902613-12-7},
  year = {2008},
  category = {chapitre}
}

@incollection{lime-WILEY-09,
  title = {Models for Real-time Embedded Systems},
  author = {Lime, Didier and Roux, Olivier H. and Srba, Ji\v{r}\'{\i}},
  pages = {1--37},
  booktitle = {Communicating Embedded Systems -- Software and Design },
  publisher = {ISTE Publishing / John Wiley},
  year = 2009,
  category = {chapitre}
}

@incollection{berard-WILEY-08,
  title = {Comparison of Expressiveness for Timed Automata and Time {P}etri Nets},
  author = {B\'eatrice B\'erard and Franck Cassez and Serge Haddad and Didier Lime and Roux, Olivier H.},
  pages = {93--144},
  booktitle = {Combinatorial Optimization and Theoretical Computer Science},
  editor = {Vangelis Th. Paschos},
  publisher = {ISTE Publishing / John Wiley},
  isbn = {9781848210219},
  month = jan,
  year = 2008,
  category = {chapitre}
}

@incollection{david-WILEY-09,
  title = {Tools for Model-Checking Timed Systems},
  author = {David, Alexandre and Behrmann, Gerd and Bulychev, Peter and Byg, Joakim and Chatain, Thomas and Larsen, Kim G. and Pettersson, Paul and Rasmussen, Jacob I. and Srba, Ji\v{r}\'{\i} and Yi, Wang and Joergensen, Kenneth Y. and Lime, Didier and Magnin, Morgan and Roux, Olivier H. and Traonouez, Louis-Marie},
  pages = {165--225},
  booktitle = {Communicating Embedded Systems -- Software and Design },
  publisher = {ISTE Publishing / John Wiley},
  year = 2009,
  category = {chapitre}
}

@incollection{lime-ic2-08,
  title = {{Les modèles pour les systèmes temps réel embarqués}},
  booktitle = {{Approches formelles des systèmes embarqués communicants}},
  author = {Lime, Didier and Roux, Olivier (H.)},
  publisher = { Traité IC2, Hermes Lavoisier},
  year = {2008},
  pages = {45--74},
  category = {chapitre}
}