Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik. Issues in distributed timed model checking. STTT, 7(1):4-18, 2005. [doi]
@article{BrabermanOS05:0,
title = {Issues in distributed timed model checking},
author = {Víctor A. Braberman and Alfredo Olivero and Fernando Schapachnik},
year = {2005},
url = {http://www.springerlink.com/index/10.1007/s10009-004-0143-z},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BrabermanOS05%3A0},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {7},
number = {1},
pages = {4-18},
}