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.
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
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
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 Oct 23 03:10:20 2019 CEST.