Media type: E-Article Title: Bounded saturation-based CTL model checking Contributor: Vörös, A; Darvas, D; Bartha, T Published: Estonian Academy Publishers, 2013 Published in: Proceedings of the Estonian Academy of Sciences, 62 (2013) 1, Seite 59 Language: English DOI: 10.3176/proc.2013.1.07 ISSN: 1736-6046 Keywords: General Engineering Origination: Footnote: Access State: Open Access