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