• Treffer 5 von 10
Zurück zur Trefferliste

Symbolic on-the-fly analysis of stochastic Petri nets

Metadaten exportieren

Weitere Dienste

Suche bei Google Scholar
Metadaten
Verfasserangaben: Martin Schwarick
URN:urn:nbn:de:kobv:co1-opus4-30560
URL:http://opus4.kobv.de/opus4-btu/files/3056/Martin_Schwarick.pdf
Dokumentart:Dissertation
Sprache:Englisch
Erscheinungsjahr:2014
Seitenzahl:XVII, 225
Fakultät / Fachgebiet:Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.