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)

From LRDE

Revision as of 15:10, 16 September 2013 by Bot (talk | contribs) (Created page with "{{News |title=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 [htt...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Title 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
Sub-Title
Date 2012-12-07
Retrieved from "https://www.lrde.epita.fr/index.php?title=Etienne_Renault,_PhD-student_at_LRDE,_gives_a_talk_on_%22Strength-based_decomposition_of_the_property_Büchi_automaton_for_faster_model-checking%22_organized_at_MeFoSyLoMa_(2012-12-07)&oldid=3732"