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-5FRenault,-5FPhD-2Dstudent-5Fat-5FLRDE,-5Fgives-5Fa-5Ftalk-5Fon-5F%22Strength-2Dbased-5Fdecomposition-5Fof-5Fthe-5Fproperty-5FBüchi-5Fautomaton-5Ffor-5Ffaster-5Fmodel-2Dchecking%22-5Forganized-5Fat-5FMeFoSyLoMa-5F(2012-2D12-2D07)"