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.

2011

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 Tue Jun 25 03:06:37 2019 CEST.