( en | de | ru )

 

Disambiguation of "Merz, Stephan"

Author of the publication

copydeleteadd this publication to your clipboard
Towards an Automatic Proof of the Bakery Algorithm.

, , and . FORTE, volume 13910 of Lecture Notes in Computer Science, page 21-28. Springer, (2023)

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.

Stephan Merz

Stephan Merz

Stephan Merz

Stephan Merz

Andreas Merz

 

Other publications of authors with the same name

Proofs and Proof Certification in the TLA+ Proof System.. PxTP, volume 878 of CEUR Workshop Proceedings, page 16-20. CEUR-WS.org, (2012)Extending PlusCal for Modeling Distributed Algorithms., and . iFM, volume 14300 of Lecture Notes in Computer Science, page 321-340. Springer, (2023)Towards an Automatic Proof of the Bakery Algorithm., , and . FORTE, volume 13910 of Lecture Notes in Computer Science, page 21-28. Springer, (2023)Refining Mobile UML State Machines, , and . (2004)Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series), and . Springer Publishing Company, Incorporated, (2008)Synchronization Modulo k in Dynamic Networks., , and . SSS, volume 13046 of Lecture Notes in Computer Science, page 425-439. Springer, (2021)Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS., , and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 88-105. Springer, (2022)Towards certification of TLA+ proof obligations with SMT solvers., and . PxTP, page 40-45. (2011)Predicate Diagrams for the Verification of Real-Time Systems., and . AVoCS, volume 145 of Electronic Notes in Theoretical Computer Science, page 151-165. Elsevier, (2005)A Tool Suite for the Automated Synthesis of Security Function Chains., , , and . IM, page 716-717. IFIP, (2019)