Author:
Azmy Noran,Merz Stephan,Weidenbach Christoph
Publisher
Springer International Publishing
Reference11 articles.
1. LuPastry
$$^+$$
+
: Specification and Proof Files.
http://www.mpi-inf.mpg.de/departments/automation-of-logic/people/noran-azmy/
2. Bakhshi, R., Gurov, D.: Verification of peer-to-peer algorithms: a case study. Electron. Notes Theor. Comput. Sci. 181, 35–47 (2007)
3. Lecture Notes in Computer Science;J Borgström,2005
4. Lecture Notes in Computer Science;D Cousineau,2012
5. Lamport, L.: Specifying Systems: The TLA
$$^+$$
+
Language and Tools for Hardware and Software Engineers. Addison-Wesley, Boston (2002)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献