Hochschulschrift
Abstraktion und Gegenbeispiel-gelenkte Konstruktion von ω-Automaten [Omega-Automaten] zur Verifikation Schritt-diskreter linearer hybrider Systeme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
Oldenburg, Univ., Diss., 2007
- Creator
- URN
-
urn:nbn:de:gbv:715-oops-7887
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:53 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Spielbasierte Abstraktion von Markow-Automaten
City-Automat. Bahnhof-Automat
Nachrichtenvermittlung durch Automaten ("Treffpunkt-Automaten")
Automat
Automat
Automat
Automat
Automat
Automat
Automat
Automat
Automat
Spielbasierte Abstraktion von Markow-Automaten
City-Automat. Bahnhof-Automat
Nachrichtenvermittlung durch Automaten ("Treffpunkt-Automaten")
Automat
Automat
Automat
Automat
Automat
Automat
Automat
Automat
Automat
Spielbasierte Abstraktion von Markow-Automaten
City-Automat. Bahnhof-Automat
Nachrichtenvermittlung durch Automaten ("Treffpunkt-Automaten")
Automat
Automat
Automat
Automat
Automat
Automat
Automat
Automat