articleFrench.bib

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

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

@article{lime-TSI-06,
  author = {Lime, Didier and Roux, Olivier H.},
  title = {V\'erification formelle des syst\`emes temps r\'eel avec ordonnancement pr\'eemptif},
  journal = {Technique et Science Informatiques},
  year = 2006,
  publisher = {Hermes Science},
  pages = {347-375},
  volume = {25},
  number = {3},
  year = 2006,
  category = {natJournal}
}

@article{lime-JESA-11,
  author = {Lime, Didier and Martinez, Claude and Roux, Olivier H. },
  title = {Coercition temporelle de r\'eseaux de {Petri}},
  journal = {Journal europ\'een des syst\`emes automatis\'es - Num\'ero sp\'ecial en fran\c cais issu du colloque {Mod{\'e}lisation des Syst{\`e}mes R{\'e}actifs} (MSR'11)},
  pages = {13-28},
  volume = {45},
  number = {1-3},
  year = 2011,
  category = {natJournal}
}

@article{berthomieu-JESA-05,
  author = {Berthomieu, Bernard and Lime, Didier and Roux, Olivier H. and Vernadat, Francois},
  title = {Probl\`emes d'accessibilit\'e et Espaces d'\'etats abstraits des
 r\'eseaux de {Petri} Temporels \`a Chronom\`etres},
  journal = {Journal europ\'een des syst\`emes automatis\'es - Num\'ero sp\'ecial en fran\c cais issu du colloque  {Mod{\'e}lisation
  des Syst{\`e}mes R{\'e}actifs} (MSR'05)},
  pages = {223-238},
  volume = {39},
  number = {1-3},
  year = 2005,
  category = {natJournal}
}

@article{roux-TSI-97,
  author = {Roux, Olivier H. and  Molinaro, Pierre},
  title = {D{\'e}tection en ligne des interblocages dans les syst{\`e}mes r{\'e}partis (On line distributed deadlock detection)},
  journal = {Technique et Science Informatiques},
  volume = {16},
  number = {2},
  year = 1997,
  pages = {243--263},
  isbn = {ISSN 0752-4072},
  publisher = {Hermes Science},
  category = {natJournal}
}