Items where Author is "Majzik, István"
 | Up a level |
Number of items: 2.
2016
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2016 | Molnár, Vince and Vörös, András and Darvas, Dániel and Bartha, Tamás and Majzik, István Component-wise incremental LTL model checking |  | Article |
| 2016 | Vörös, András and Darvas, Dániel and Molnár, Vince and Klenik, Attila and Hajdu, Ákos and Bartha, Tamás and Majzik, István PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research | Book Section |
