@misc{indiciae66d139e66a96,
  title = {An Experiment on Parallel Model Checking of a CTL Fragment},
  author = {Rodrigo Tacla Saad and Silvano Dal Zilio and Bernard Berthomieu},
  year = {2013},
  doi = {10.1007/978-3-642-33386-6\_23},
  url = {https://arxiv.org/abs/1301.7533},
  note = {Source identifier: 1301.7533}
}