Items where Author is "Horváth, Á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: 1.
DateAuthor/TitleDocument Type
2011Vörös, András and Szabo, Tamás and Jámbor, Attila and Darvas, Dániel and Horváth, Ákos and Bartha, Tamás
Parallel saturation based model checking
Book Section
This list was generated on Mon Jul 22 03:06:38 2019 CEST.