Items where Author is "Mondok, Milán"

Group by: Item Type | No Grouping

Number of items: 1.

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 Mon May 12 19:32:08 2025 CEST.

Repository of the Academy's Library is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.