A Novel Abstraction Approach to Model Check Distributed, Fault-tolerant Protocols
  • Metaadatok
Tartalom: http://hdl.handle.net/10890/15621
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, 2007, 14th
Cím:
A Novel Abstraction Approach to Model Check Distributed, Fault-tolerant Protocols
Létrehozó:
Bokor, Péter
Pataricza, András
Dátum:
2021-07-28T11:35:00Z
2021-07-28T11:35:00Z
2007
Nyelv:
angol
Típus:
könyvfejezet
Formátum:
application/pdf
Azonosító: