  |
Items where Author is "Mondok, Milán"
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemMondok, Milán and Vörös, András (2020) Abstraction-Based Model Checking of Linear Temporal Properties. In: 27th Minisymposium, 2020.02.05, Budapest. |
