bookchap.bib

@incollection{TA-12,
 	Author = {B. B\'erard},
	title = {An introduction to timed automata},
	Editor = {C. Seatzu, M. Silva, J. {van Schuppen}},
	Pages = {169-187},
	Publisher = {Springer},
	Booktitle = {{Control of Discrete Event Systems}},
        Series = {Lecture Notes in Control and Information Science},
        volume ={433},
	Year = {2012},
        category = {bchap}
}

@incollection{TPN-12, 
    Author = {B. B\'erard and M. Cabasino and A. {di Febbraro} and A. Giua and
C. Seatzu}, title = {Petri nets with time}, 
    Editor = {C. Seatzu, M. Silva, J. {van Schuppen}}, 
    Pages = {319-342}, 
    Publisher = {Springer}, 
    Booktitle = {{Control of Discrete Event Systems}}, 
    Series = {Lecture Notes in Control and Information Science}, 
    volume ={433},
    Year = {2012}, 
    category = {bchap}
}

@incollection{b2:C4,
  author = {B. B\'erard},
  title = {Modeling Time},
  editor = {S. Haddad and F. Kordon and L. Pautet and L. Petrucci},
  pages = {63-96},
  publisher = {Wiley},
  booktitle = {{Models and Analysis in Distributed Systems}},
  year = {2011},
  category = {bchap}
}

@incollection{jard-wiley-09,
  booktitle = {{Communicating Embedded Systems -- Software and Design}},
  title = {{Timed Model Checking}},
  author = {B{\'e}rard, B.},
  editor = {C. Jard and O.(H.) Roux},
  publisher = {ISTE Publishing / John Wiley},
  year = {2009},
  month = oct,
  isbn = {978-1-8482-1143-8},
  category = {bchap},
  url = {http://eu.wiley.com/WileyCDA/WileyTitle/productCd-1848211430.html}
}

@incollection{ic207,
  booktitle = {{Approches formelles des systèmes embarqués communicants}},
  title = {Model checking temporisé},
  author = {B{\'e}rard, B.},
  editor = {O.H. Roux and C. Jard},
  publisher = {Hermes/Lavoisier},
  year = {2008},
  month = oct,
  url = {http://www.lavoisier.fr/notice/fr335499.html},
  isbn = {978-2-7462-1942-7},
  category = {bchap}
}

@incollection{mefo06,
  booktitle = {{Méthodes Formelles pour les Systèmes Répartis et Coopératifs}},
  title = {Modèles temporisés},
  author = {B{\'e}rard, B.},
  editor = {S. Haddad and F. Kordon and L. Petrucci},
  publisher = {Hermes/Lavoisier},
  year = {2006},
  month = sep,
  isbn = {2-7462-1447-4},
  category = {bchap}
}

@book{LLSdFbook-2003,
  author = {{B.~B{\'e}rard~et~al.}},
  note = {Ouvrage collectif r\'edig\'e sous la direction de
                   Ph.~David et H.~Waeselynck},
  publisher = {Herm{\`e}s},
  title = {Logiciel libre et s{\^u}ret{\'e} de fonctionnement:
                   cas des syst{\`e}mes critiques},
  year = {2003},
  url = {http://www.lavoisier.fr/fr/livres/index.asp?texte=2746207270&select=isbn},
  category = {bchap}
}

@book{lsvmcbook01,
  author = {B{\'e}rard, B. and Bidoit, M. and
                   Finkel, A. and Laroussinie, F. and
                   Petit, A. and Petrucci, L. and
                   Schnoebelen, {\relax Ph}.},
  publisher = {Springer},
  title = {Systems and Software Verification. {M}odel-Checking
                   Techniques and Tools},
  year = {2001},
  url = {http://www.springer.de/cgi-bin/search_book.pl?isbn=3-540-41523-8},
  category = {bchap}
}

@book{docdor99,
  author = {Schnoebelen, {\relax Ph}. and
                   B{\'e}rard, B. and Bidoit, M. and
                   Laroussinie, F. and Petit, A.},
  month = apr,
  publisher = {Vuibert},
  title = {V{\'e}rification de logiciels : techniques et outils
                   du model-checking},
  year = {1999},
  url = {http://www.vuibert.com/livre593.html},
  category = {bchap}
}

@book{AA-JB-BB-BR-liv92,
  author = {Arnold, A. and Beauquier, J. and
                   B{\'e}rard, B. and Rozoy, B.},
  month = jan,
  publisher = {Armand Colin},
  title = {Programmes parall{\`e}les, mod{\`e}les et validation},
  year = {1992},
  category = {bchap}
}

@book{JB-BB-liv90,
  author = {Beauquier, J. and B{\'e}rard, B.},
  title = {Systèmes d'exploitations, concepts et algorithmes},
  publisher = {Ediscience},
  year = {1990},
  category = {bchap}
}