Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Titel:

Stratified guarded first-order transition systems

Dokumenttyp:
Zeitschriftenaufsatz
Autor(en):
Müller, Christian ; Seidl, Helmut
Stichworte:
Article ; First-order transition systems ; Multi-agent systems ; Universal invariants ; Noninterference ; Decidability ; Information and Computing Sciences
Zeitschriftentitel:
Formal Methods in System Design
Jahr:
2022
Seitenangaben Beitrag:
1-31
Volltext / DOI:
doi:10.1007/s10703-022-00404-9
Verlag / Institution:
Springer US
E-ISSN:
0925-9856 ; 1572-8102
Publikationsdatum:
22.11.2022
 BibTeX