Attila Jámbor

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Topics

Technology Enhanced Learning

High Level Petri Nets

Top Venues

Publications

András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research. Petri Nets (2016)
András Vörös, Tamás Szabó, Attila Jámbor, Dániel Darvas, Ákos Horváth, Tamás Bartha
Parallel Saturation Based Model Checking. ISPDC (2011)