TU Darmstadt / ULB / TUbiblio

Modal and guarded characterisation theorems over finite transition systems

Otto, Martin :
Modal and guarded characterisation theorems over finite transition systems.
In: Annals of pure and applied logic (0168-0072), 130 pp. 173-205.
[Artikel], (2004)

Typ des Eintrags: Artikel
Erschienen: 2004
Autor(en): Otto, Martin
Titel: Modal and guarded characterisation theorems over finite transition systems
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Annals of pure and applied logic (0168-0072)
Band: 130
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 20 Nov 2008 08:19
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen