1.
Szkupien, Péter ; Molnár, Vince
The Effect of Transition Granularity in the Model Checking of Reactive Systems
In: Renczes, Balázs (szerk.) Proceedings of the 29th Minisymposium of the Department of Measurement and Information Systems Budapest University of Technology and Economics
Budapest, Magyarország : BME Méréstechnika és Információs Rendszerek Tanszék (2022) p. 54 , 4 p.
Közlemény:32678949 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[32678949] [Nyilvános]
2026-06-12 00:34