Publisher
Springer Nature Switzerland
Reference32 articles.
1. Lecture Notes in Computer Science;M Bartoletti,2019
2. Cairo, M., Rizzi, R.: Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution. Theor. Comput. Sci. 797, 2–16 (2019)
3. Clack, C.D.: Smart contract templates: legal semantics and code validation. J. Digit. Bank. 2(4), 338–352 (2018)
4. Lecture Notes in Computer Science;CD Clack,2018
5. Daskalopulu, A.: Model checking contractual protocols. arXiv cs/0106009 (2001)