Items where Author is "Szabo, Tamás"
 | Up a level |
Jump to: Book Section | Conference or Workshop Item
Number of items: 2.
Book Section
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2011 | Vö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 |
Conference or Workshop Item
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2006 | Szabo, Tamás and Szolgay, Péter CNNUM-based methods using deformable contours on smooth boundaries | Conference or Workshop Item |
