Items where Author is "Molnár, Vince"
 | Up a level |
Number of items: 3.
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2016 | Molná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 |
| 2016 | Vö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 | |
| 2015 | Molná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 |
