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
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
| 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 |