Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
Treffer 23 von 287
|
|
| Link zu diesem Datensatz | https://d-nb.info/111428291X |
| Art des Inhalts | Hochschulschrift |
| Titel | Symbolic on-the-fly analysis of stochastic Petri nets / Martin Schwarick ; Monika Heiner, Susanna Donatelli, Peter Kemper |
| Person(en) |
Schwarick, Martin (Verfasser) Heiner, Monika (Akademischer Betreuer) Donatelli, Susanna (Akademischer Betreuer) Kemper, Peter (Akademischer Betreuer) |
| Verlag | Cottbus : BTU Cottbus - Senftenberg |
| Zeitliche Einordnung | Erscheinungsdatum: 2014 |
| Umfang/Format | Online-Ressource |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Schwarick, Martin: Symbolic on-the-fly analysis of stochastic Petri nets |
| Hochschulschrift | Dissertation, Cottbus, BTU Cottbus - Senftenberg, 2014 |
| Persistent Identifier | URN: urn:nbn:de:kobv:co1-opus4-30560 |
| URL | https://opus4.kobv.de/opus4-btu/frontdoor/index/index/docId/3056 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Schlagwörter | Stochstisches Petri-Netz ; Markov-Kette ; Programmverifikation |
| DDC-Notation | 511.35 [DDC22ger] |
| Sachgruppe(n) | 510 Mathematik ; 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 23 von 287
Administration
