Items where Author is "Hajdu, Ákos"

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: 4.

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

Book Section

DateAuthor/TitleDocument Type
2016Vö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
2015Hajdu, Á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

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 Fri Sep 20 03:09:54 2019 CEST.