Items where Author is "Majzik, István"

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
2016Molnár, Vince and Vörös, András and Darvas, Dániel and Bartha, Tamás and Majzik, István
Component-wise incremental LTL model checking
Article
2016Vörös, András and Darvas, Dániel and Molnár, Vince and Klenik, Attila and Hajdu, Ákos and Bartha, Tamás and Majzik, István
PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research
Book Section
This list was generated on Thu Dec 12 03:08:35 2024 CET.