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