Items where Author is "Hajdu, Ákos"
 | Up a level |
Number of items: 4.
2013
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2013 | Hajdu, Ákos and Vörös, András and Bartha, Tamás and Mártonka, Zoltán Extensions to the CEGAR Approach on Petri Nets |  | Conference or Workshop Item |
2014
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2014 | Hajdu, Ákos and Vörös, András and Bartha, Tamás and Mártonka, Zoltán Extensions to the CEGAR Approach on Petri Nets | Article |
2015
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2015 | Hajdu, Ákos and Vörös, András and Bartha, Tamás New Search Strategies for the Petri Net CEGAR Approach | | Book Section |
2016
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 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 |
