Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=004*
Treffer 4026 von 4203
|
|
| Link zu diesem Datensatz | https://d-nb.info/1102532940 |
| Titel | Trace analysis - gain insight through modelchecking and cycle reduction / Volker Kemper ; Carsten Tepper |
| Person(en) |
Kemper, Volker (Verfasser) Tepper, Carsten (Verfasser) |
| Verlag | Dortmund : Universitätsbibliothek Dortmund |
| Zeitliche Einordnung | Erscheinungsdatum: 2006 |
| Umfang/Format | Online-Ressource |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Trace analysis - gain insight through modelchecking and cycle reduction |
| Persistent Identifier |
URN: urn:nbn:de:101:1-201606032152 Handle: 2003/24372 |
| URL | http://hdl.handle.net/2003/24372 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Technical Report ; 06007 |
| DDC-Notation | 004.210285514 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 4026 von 4203
Administration
