Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1236571320
Link zu diesem Datensatz | https://d-nb.info/1236571320 |
Titel | Parameterized verification and repair of concurrent systems / Mouhammad Sakr |
Person(en) | Sakr, Mouhammad (Verfasser) |
Verlag | Saarbrücken : Saarländische Universitäts- und Landesbibliothek |
Zeitliche Einordnung | Erscheinungsdatum: 2021 |
Umfang/Format | Online-Ressource |
Hochschulschrift | Dissertation, Saarbrücken, Universität des Saarlandes, 2021 |
Persistent Identifier |
URN: urn:nbn:de:bsz:291--ds-341594 DOI: 10.22028/D291-34159 |
URL | https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/31387 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
DDC-Notation | 005.14 (maschinell ermittelte DDC-Kurznotation) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |