Monografie

Hybrid Branching-Time Logics

Sprache
Englisch
Identifier
1201509378

Thema
Time; Temporale Logik; Framework ; My-Kalkül

Beteiligte Personen und Organisationen
Kernberger, Daniel

DOI
10.17170/kobra-20191209834
URN
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
26.01.2023, 13:54 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Monografie

Beteiligte

  • Kernberger, Daniel

Ähnliche Objekte (12)