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.

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

2015

DateAuthor/TitleDocument Type
2015Hajdu, Ákos and Vörös, András and Bartha, Tamás
New Search Strategies for the Petri Net CEGAR Approach
Book Section

2016

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
This list was generated on Fri Mar 29 03:15:35 2024 CET.