Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
Treffer 153 von 287
|
|
| Link zu diesem Datensatz | https://d-nb.info/998532053 |
| Art des Inhalts | Hochschulschrift |
| Titel | Efficient symbolic analysis of bounded Petri nets using interval decision diagrams / vorgelegt von Alexey A. Tovchigrechko |
| Person(en) | Tovchigrechko, Alexey A. (Verfasser) |
| Zeitliche Einordnung | Erscheinungsdatum: 2008 |
| Umfang/Format | Online-Ressource, ca. 1,2 MB |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Tovchigrechko, Alexey A.: Efficient symbolic analysis of bounded Petri nets using interval decision diagrams |
| Hochschulschrift | Cottbus, Techn. Univ., Diss., 2008 |
| Persistent Identifier | URN: urn:nbn:de:kobv:co1-opus-10294 |
| URL |
http://opus.kobv.de/btu/volltexte/2009/1029/pdf/tovchigrechko_diss.pdf (Verlag) (kostenfrei zugänglich) http://opus.kobv.de/btu/volltexte/2009/1029/ (Verlag) |
| Sprache(n) | Englisch (eng) |
| Schlagwörter | Petri-Netz ; Model Checking |
| DDC-Notation | 511.35 [DDC22ger] |
| Sachgruppe(n) | 510 Mathematik ; 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 153 von 287
Administration
