Bounded saturation based CTL model checking

Megtekintés/Megnyitás

112694.pdf (399.1KB)

Metadata

Teljes megjelenítés

URI

http://hdl.handle.net/10890/1851

Collections

BME PA dokumentumai [3736]

Cím és alcím: Bounded saturation based CTL model checking
Szerző: Vörös, András; Darvas, Dániel; Bartha, Tamás
Megjelenés ideje: 2011
Kiadó: TUT Press
Nyelv: en
Egyéb azonosítók: MTMT: 1773885; Scopus: 84869776200
A cikket/könyvrészletet tartalmazó dokumentum címe: 12th Symposium on Programming Languages and Software Tools
ISBN, e-ISBN: 978-9949-23-178-2
Dokumentumtípus: könyvrészlet
Műfaj: konferenciaközlemény