Revision history of "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)"

View logs for this page

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 15:10, 16 September 2013‎ Bot talk contribs‎ 240 bytes +240‎ 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..."
Retrieved from "https://www.lrde.epita.fr/wiki/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)"