Cited By
View all- Bettini LFerrari GLoreti MPugliese RTiezzi FTuosto E(2024)Klaim in the MakingLeveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola10.1007/978-3-031-73709-1_3(27-49)Online publication date: 9-Oct-2024
- Bettini LMerelli ETiezzi F(2019)X-Klaim Is BackModels, Languages, and Tools for Concurrent and Distributed Programming10.1007/978-3-030-21485-2_8(115-135)Online publication date: 3-Jul-2019
- Wirsing MHennicker R(2019)Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic SystemsModels, Languages, and Tools for Concurrent and Distributed Programming10.1007/978-3-030-21485-2_20(367-387)Online publication date: 3-Jul-2019
- Show More Cited By