@article{703367,
 article_number = {1},
 author = {Ivana Černá and Tomáš Brázdil},
 issn = {1335-9150},
 journal = {Computing and Informatics},
 keywords = {model checking; RegCTL temporal logic},
 language = {eng},
 title = {Model Checking of RegCTL},
 volume = {25},
 year = {2006}
}