( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Programmatic Manipulation of Common Lisp Type Specifiers.

, , и . ELS, стр. 28-35. ELSAA, (2017)

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.

Maximilien Naveau

Maximilien Guislain

Maximilien Ringelmann

Maximilien Levesque

Maximilien Servajean

 

Другие публикации лиц с тем же именем

StrataGEM: A Generic Petri Net Verification Framework., , и . Petri Nets, том 8489 из Lecture Notes in Computer Science, стр. 364-373. Springer, (2014)From Spot 2.0 to Spot 2.10: What's New?, , , , , , , , , и 1 other автор(ы). CAV (2), том 13372 из Lecture Notes in Computer Science, стр. 174-187. Springer, (2022)CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving., , , и . TACAS (1), том 10805 из Lecture Notes in Computer Science, стр. 99-114. Springer, (2018)Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag., , , и . Petri Nets, том 6709 из Lecture Notes in Computer Science, стр. 338-347. Springer, (2011)Symbolic Optimal Reachability in Weighted Timed Automata., , и . CAV (1), том 9779 из Lecture Notes in Computer Science, стр. 513-530. Springer, (2016)Building a Symbolic Model Checker from Formal Language Description., , и . ACSD, стр. 50-59. IEEE Computer Society, (2015)State Space Analysis Using Symmetries on Decision Diagrams., , , и . ACSD, стр. 164-172. IEEE Computer Society, (2012)Towards Distributed Software Model-Checking Using Decision Diagrams., , , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 830-845. Springer, (2013)Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach., , , и . Monterey Workshop, том 7539 из Lecture Notes in Computer Science, стр. 330-352. Springer, (2012)Programmatic Manipulation of Common Lisp Type Specifiers., , и . ELS, стр. 28-35. ELSAA, (2017)