rouxmattias.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc rouxmattias.cite -ob rouxmattias.bib -c 'author : "Mattias Roux"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/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.archives-ouvertes.fr/hal-02420588},
  author = {Sylvain Conchon and Mattias Roux},
  title = {Reasoning About Universal Cubes in {MCMT}},
  booktitle = {International Conference on Formal Engineering Methods},
  pages = {270--285},
  editor = {Yamine A{\"{\i}}t Ameur and Shengchao Qin},
  series = {Lecture Notes in Computer Science},
  volume = 11852,
  publisher = {Springer},
  year = 2019
}