Davide Basile 0001. Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal. In Ilaria Castellani, Francesco Tiezzi 0001, editors, Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings. Volume 14676 of Lecture Notes in Computer Science, pages 93-110, Springer, 2024. [doi]
@inproceedings{Basile24,
title = {Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal},
author = {Davide Basile 0001},
year = {2024},
doi = {10.1007/978-3-031-62697-5_6},
url = {https://doi.org/10.1007/978-3-031-62697-5_6},
researchr = {https://researchr.org/publication/Basile24},
cites = {0},
citedby = {0},
pages = {93-110},
booktitle = {Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings},
editor = {Ilaria Castellani and Francesco Tiezzi 0001},
volume = {14676},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-62697-5},
}