Special

Browse wiki

This page or action requires Javascript to work, please enable Javascript in your browser or use a browser where this is supported so that functionality can be served and is provided as requested. For further assistance, please have a look at the noscript help page.

Etienne Renault, PhD-student at LRDE, gives a talk on "Strength-based decomposition of the property Büchi automaton for faster model-checking" organized at MeFoSyLoMa (2012-12-07)

Hide groups Hide incoming properties

Information is currently being retrieved from the backend.

Retrieved from "https://www.lrde.epita.fr/wiki/Special:Browse/:Etienne-20Renault,-20PhD-2Dstudent-20at-20LRDE,-20gives-20a-20talk-20on-20%22Strength-2Dbased-20decomposition-20of-20the-20property-20Büchi-20automaton-20for-20faster-20model-2Dchecking%22-20organized-20at-20MeFoSyLoMa-20(2012-2D12-2D07)"