Lubos Brim, Karen Yorav, Jitka Zidkova. Assumption-based distribution of CTL model checking. STTT, 7(1):61-73, 2005. [doi]
@article{BrimYZ05,
title = {Assumption-based distribution of CTL model checking},
author = {Lubos Brim and Karen Yorav and Jitka Zidkova},
year = {2005},
url = {http://www.springerlink.com/index/10.1007/s10009-004-0163-8},
tags = {rule-based, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BrimYZ05},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {7},
number = {1},
pages = {61-73},
}