Bounded saturation based CTL model checking

Thumbnail
View/Open
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/1851
Collections
Title
Bounded saturation based CTL model checking
Author
Vörös, András
Darvas, Dániel
Bartha, Tamás
Date of issue
2011
Publisher
TUT Press
Language
en
Identifiers
MTMT: 1773885
Scopus: 84869776200
Title of the container document
12th Symposium on Programming Languages and Software Tools
ISBN, e-ISBN
978-9949-23-178-2
Document type
könyvrészlet
Document genre
konferenciaközlemény