Items where Author is "Hajdu, Ákos"
 | Up a level |
Number of items: 4.
Article
| 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 |
Book Section
| 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 | |
| 2015 | Hajdu, Ákos and Vörös, András and Bartha, Tamás New Search Strategies for the Petri Net CEGAR Approach |  | Book Section |
Conference or Workshop Item
| 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 |
