Result: Specifying and model checking distributed control algorithms at meta-level

*Title*:

*Author/editor-in-chief*:

*Publication*:

Freiburg : Universität, 2024

*Physical description scale*:

1 Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*Notes*:

The computer journal. - 65, 12 (2022) , 2998-3019, ISSN: 1460-2067

*DOI*:

10.1093/comjnl/bxab122

*Result*: Specifying and model checking distributed control algorithms at meta-level