Bounded saturation based CTL model checking
Megtekintés/ Megnyitás
Metadata
Teljes megjelenítésCollections
- 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