Items where Author is "Szabo, Tamás"
![]() | Up a level |
Number of items: 2.
| 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 | |
| 2006 | Szabo, Tamás and Szolgay, Péter CNNUM-based methods using deformable contours on smooth boundaries | Conference or Workshop Item |



