Publisher
Springer Nature Switzerland
Reference16 articles.
1. Boudi, Z., Collart-Dutilleul, S., et al.: Safety critical software construction using CPN modeling and b method’s proof. In: SESA 2014, Software Engineering and Systems Architecture, p. 4p (2014)
2. Brammertz, W., Mendelowitz, A.I.: From digital currencies to digital finance: the case for a smart financial contract standard. J. Risk Finance 19(1), 76–92 (2018)
3. Britsiani, N.: Smart contracts: Legal aspects (2022). https://repository.ihu.edu.gr//xmlui/handle/11544/30033. Accepted 2022-09-30T08:47:30Z
4. Buchs, D., Klikovits, S., Linard, A.: Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems. Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, pp. 177–208 (2020)
5. Buchs, D., Klikovits, S., Linard, A.: Petri Nets: a formal language to specify and verify concurrent non-deterministic event systems. In: Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, pp. 177–208. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-43946-0_7