Publications : Mattias RouxBack
|||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 ]|
This page was generated by bibtex2html.