Items where Author is "Jámbor, Attila"

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: 2.
DateAuthor/TitleDocument Type
2012Bartha, 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
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 Feb 18 03:07:54 2020 CET.