Items where Author is "Jámbor, Attila"
 | Up a level |
Number of items: 2.
2011
| 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 |
2012
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2012 | Bartha, Tamás and Vörös, András and Jámbor, Attila and Darvas, Dániel Verification of an industrial safety function using coloured Petri nets and model checking | | Book Section |
