Model Checking Concurrent Systems Using Temporal Logics
Mennicke, Roy ; Kuske, Dietrich ; Gastin, Paul ; Leucker, Martin 2016 Universitätsbibliothek Ilmenau
- Link zu diesem Datensatz
-
https://d-nb.info/1081935383
- Titel
-
Model Checking Concurrent Systems Using Temporal Logics
- Art des Inhalts
- Monographie
- Verfassangaben
- Roy Mennicke. Betreuer: Dietrich Kuske. Gutachter: Paul Gastin ; Martin Leucker
- Autor(en)
-
- Mennicke, Roy
- Kuske, Dietrich
- Gastin, Paul
- Leucker, Martin
- Verlag
- Ilmenau : Universitätsbibliothek Ilmenau [2016]
- Jahr
- Erscheinungsdatum: 2016
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:gbv:ilm1-2015000448
- Sprache
- eng
- DDC-Klasse(n)
-
- Schlagwörter
-
- Anmerkungen
-
Ilmenau, Technische Universität Ilmenau, Diss., 2015
- Abweichende Titel
-
- Automatische Verifikation paralleler Systeme mittels temporaler Logiken
- Stand
- 23.12.2025 04:36
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
