Items where Author is "Molnár, Vince"

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: 3.

2015

DateAuthor/TitleDocument Type
2015Molnár, Vince and Darvas, Dániel and Vörös, András and Bartha, Tamás
Saturation-based incremental LTL model checking with inductive proofs
Book Section

2016

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 Fri Dec 6 03:11:10 2024 CET.