Wiki Agenda Contact Version française

Publications : Mattias Roux

Back
[1] Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, and Mattias Roux. FAR-Cubicle - A new reachability algorithm for Cubicle. In Daryl Stewart and Georg Weissenbacher, editors, Formal Methods in Computer Aided Design, pages 172--175, 2017. [ bib | DOI | full text on HAL ]

Back
This page was generated by bibtex2html.