• search hit 5 of 10
Back to Result List

Symbolic on-the-fly analysis of stochastic Petri nets

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Martin Schwarick
URN:urn:nbn:de:kobv:co1-opus4-30560
URL:http://opus4.kobv.de/opus4-btu/files/3056/Martin_Schwarick.pdf
Document Type:Doctoral thesis
Language:English
Year of publication:2014
Number of pages:XVII, 225
Faculty/Chair: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.