Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Sprache
2 Treffer
-
In: Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September, 2018-09-07, S. 118-132Online KonferenzZugriff:
-
In: 30th International Conference on Concurrency Theory, CONCUR 2019, 2019-08-01Online KonferenzZugriff: