rouxmattias.bib

@comment{{This file has been generated by bib2bib 1.97pl3}}
@comment{{Command line: bib2bib -q -oc rouxmattias.cite -ob rouxmattias.bib -c 'author : "Mattias Roux"' /users/demons/filliatr/toccata/web/biblio/bibliodemons/abbrevs.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons2.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons3.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/team.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/crossrefs.bib}}
@inproceedings{conchon17fmcad,
  topics = {team},
  hal = {https://hal.inria.fr/hal-01927220},
  author = {Sylvain Conchon and
               Amit Goel and
               Sava Krstic and
               Rupak Majumdar and
               Mattias Roux},
  title = {{FAR-Cubicle} - {A} new reachability algorithm for {Cubicle}},
  booktitle = {Formal Methods in Computer Aided Design},
  pages = {172--175},
  year = 2017,
  doi = {10.23919/FMCAD.2017.8102256},
  editor = {Daryl Stewart and Georg Weissenbacher}
}
@inproceedings{conchon19icfem,
  topics = {team},
  hal = {https://hal.inria.fr/hal-?},
  author = {Sylvain Conchon and Mattias Roux},
  title = {Reasoning About Universal Cubes in {MCMT}},
  booktitle = {International Conference on Formal Engineering Methods},
  pages = {270--285},
  year = 2019,
  editor = {Yamine A{\"{\i}}t Ameur and Shengchao Qin},
  series = {Lecture Notes in Computer Science},
  volume = 11852,
  publisher = {Springer},
  year = 2019
}