Incremental extension of the saturation algorithm-based bounded model checking of Petri nets
| Cím | Incremental extension of the saturation algorithm-based bounded model checking of Petri nets |
| Közlemény típusa | Thesis |
| Kiadás éve | 2014 |
| Szerzők | Darvas, D. |
| Konzulens | Bartha, T., and Vörös, A. |
| Fokozat | MSc |
| Oldalak száma | 127 |
| Kiadás dátuma | 05/2014 |
| Egyetem | Budapest University of Technology and Economics |
| Szakdolgozat típusa | Master's thesis |
| URL | https://diplomaterv.vik.bme.hu/en/Theses/Petrihalok-szaturacios-algoritmuson-alapulo |
