( en | de | ru )

 

Disambiguation of "Colange, Maximilien"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Distributed Software Model-Checking Using Decision Diagrams.

, , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 830-845. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Maximilien Naveau

Maximilien Guislain

Maximilien Ringelmann

Maximilien Levesque

Maximilien Servajean

 

Other publications of authors with the same name

StrataGEM: A Generic Petri Net Verification Framework., , and . Petri Nets, volume 8489 of Lecture Notes in Computer Science, page 364-373. Springer, (2014)From Spot 2.0 to Spot 2.10: What's New?, , , , , , , , , and 1 other author(s). CAV (2), volume 13372 of Lecture Notes in Computer Science, page 174-187. Springer, (2022)CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving., , , and . TACAS (1), volume 10805 of Lecture Notes in Computer Science, page 99-114. Springer, (2018)Symbolic Optimal Reachability in Weighted Timed Automata., , and . CAV (1), volume 9779 of Lecture Notes in Computer Science, page 513-530. Springer, (2016)Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag., , , and . Petri Nets, volume 6709 of Lecture Notes in Computer Science, page 338-347. Springer, (2011)Towards Distributed Software Model-Checking Using Decision Diagrams., , , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 830-845. Springer, (2013)Building a Symbolic Model Checker from Formal Language Description., , and . ACSD, page 50-59. IEEE Computer Society, (2015)State Space Analysis Using Symmetries on Decision Diagrams., , , and . ACSD, page 164-172. IEEE Computer Society, (2012)The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results., , , , , , , , , and 4 other author(s). CoRR, (2019)Programmatic Manipulation of Common Lisp Type Specifiers., , and . ELS, page 28-35. ELSAA, (2017)