Items where Author is "Mártonka, Zoltán"
 | Up a level |
Number of items: 2.
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 |
