Items where Author is "Mártonka, Zoltán"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | No Grouping
Number of items: 2.

Article

DateAuthor/TitleDocument Type
2014Hajdu, Á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

DateAuthor/TitleDocument Type
2013Hajdu, Á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
This list was generated on Wed Dec 4 03:10:02 2024 CET.