Guarded Teams: The Horizontally Guarded Case

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany (2020) [Beitrag zu einem Tagungsband]

[28th EACSL Annual Conference on Computer Science Logic, CSL2020]

Autorinnen und Autoren

Autorinnen und Autoren

Grädel, Erich
Otto, Martin

Identifikationsnummern