Treffer: Specifying and model checking distributed control algorithms at meta-level
Verantwortlich:
Veröffentlicht:
Freiburg : Universität, 2024
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Anmerkungen:
The computer journal. - 65, 12 (2022) , 2998-3019, ISSN: 1460-2067
DOI:
10.1093/comjnl/bxab122