TY  - RPRT
TI  - An Experiment on Parallel Model Checking of a CTL Fragment
AU  - Rodrigo Tacla Saad
AU  - Silvano Dal Zilio
AU  - Bernard Berthomieu
PY  - 2013
DO  - 10.1007/978-3-642-33386-6_23
UR  - https://arxiv.org/abs/1301.7533
ID  - 1301.7533
ER  -