Abstraction-Based Model Checking of Linear Temporal Properties

Mondok, Milán [Mondok, Milán (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Vörös, András [Vörös, András (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)

Angol nyelvű Konferenciaközlemény (Könyvrészlet) Tudományos
Megjelent: Balázs Renczes. Proceedings of the 27th PhD Mini-Symposium. (2020) ISBN:9789634218074 pp. 29-32
    Azonosítók
    Idézett közlemények (2)
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2026-07-18 05:35