> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Efficient symbolic analysis of bounded Petri nets using interval decision diagrams Beteiligte: Tovchigrechko, Alexey A. [Verfasser] Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Petri-Netz ; Model Checking ; Hochschulschrift Entstehung: Hochschulschrift: Cottbus, Techn. Univ., Diss., 2008 Anmerkungen: Zugangsstatus: Freier Zugang