REAL

Items where Author is "Mondok, Milán"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Mondok, Milán and Vörös, András (2020) Abstraction-Based Model Checking of Linear Temporal Properties. In: 27th Minisymposium, 2020.02.05, Budapest.

This list was generated on Sat Mar 15 12:33:10 2025 CET.