Valentina Castiglioni, Michele Loreti, Simone Tini. Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. In Sung-Shik Jongmans, Antónia Lopes, editors, Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings. Volume 13908 of Lecture Notes in Computer Science, pages 115-132, Springer, 2023. [doi]
Abstract is missing.