Author:
Sekerinski Emil,Sere Kaisa
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification-Led Smart Contracts;Financial Cryptography and Data Security;2020
2. The B-Method;Texts in Computer Science;2011
3. Current Challenges in Embedded Communication Systems;International Journal of Embedded and Real-Time Communication Systems;2010-01
4. A Formal Architectural Model for Peer-to-Peer Systems;Handbook of Peer-to-Peer Networking;2009-10-15
5. The event-B Modelling Method: Concepts and Case Studies;Logics of Specification Languages;2007-12-05