( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

, и . Springer Publishing Company, Incorporated, (2008)

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.

Stephan Merz

Stephan Merz

Stephan Merz

Stephan Merz

Malte Merz

 

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

Extending PlusCal for Modeling Distributed Algorithms., и . iFM, том 14300 из Lecture Notes in Computer Science, стр. 321-340. Springer, (2023)Towards an Automatic Proof of the Bakery Algorithm., , и . FORTE, том 13910 из Lecture Notes in Computer Science, стр. 21-28. Springer, (2023)Proofs and Proof Certification in the TLA+ Proof System.. PxTP, том 878 из CEUR Workshop Proceedings, стр. 16-20. CEUR-WS.org, (2012)Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series), и . Springer Publishing Company, Incorporated, (2008)Refining Mobile UML State Machines, , и . (2004)Synchronization Modulo k in Dynamic Networks., , и . SSS, том 13046 из Lecture Notes in Computer Science, стр. 425-439. Springer, (2021)Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS., , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 88-105. Springer, (2022)Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks., , , и . ECEASST, (2018)The TLA<sup> + </sup> Proof System: Building a Heterogeneous Verification Platform, , , и . Theoretical Aspects of Computing – ICTAC 2010, том 6255 из Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-14808-8_3.(2010)Proving the Correctness of Disk Paxos in Isabelle/HOL, и . http://afp.sourceforge.net/entries/DiskPaxos.shtml, (июня 2005)