Optimizing Saturation Based Model Checking
  • Metaadatok
Tartalom: http://hdl.handle.net/10890/15451
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, 2011, 18th
Cím:
Optimizing Saturation Based Model Checking
Létrehozó:
Vörös, András
Bartha, Tamás
Dátum:
2021-05-28T09:30:43Z
2021-05-28T09:30:43Z
2011
Nyelv:
angol
Típus:
könyvfejezet
Formátum:
application/pdf
Azonosító: