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.

2013

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

2014

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
This list was generated on Tue Nov 12 03:10:22 2024 CET.