Abstraction-based Model Checking of Linear Temporal Properties
  • Metaadatok
Tartalom: http://hdl.handle.net/10890/15168
Archívum: Műegyetem Digitális Archívum
Gyűjtemény: 1. Tudományos közlemények, publikációk
Konferenciák gyűjteményei
BME MIT PhD Minisymposium
BME MIT PhD Minisymposium, 2020, 27th
Cím:
Abstraction-based Model Checking of Linear Temporal Properties
Létrehozó:
Mondok, Milán
Vörös, András
Dátum:
2021-03-05T10:26:08Z
2021-03-05T10:26:08Z
2020
Nyelv:
angol
Típus:
könyvfejezet
Formátum:
application/pdf
Azonosító: