Author:
Blanchette Jasmin Christian,Böhme Sascha,Paulson Lawrence C.
Publisher
Springer Berlin Heidelberg
Reference46 articles.
1. Systems and Implementation Techniques;W. Ahrendt,1998
2. Applied Logic;P.B. Andrews,2002
3. LNAI;J. Backes,2010
4. Lecture Notes in Computer Science;C. Barrett,2007
5. Barsotti, D., Nieto, L.P., Tiu, A.: Verification of clock synchronization algorithms: Experiments on a combination of deductive tools. Formal Asp. Comput. 19(3), 321–341 (2007)
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献