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
Jump to: Book Section
Number of items: 2.

Book Section

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.