@misc{indiciae8b8b9ca756bb,
  title = {CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems},
  author = {Nikola Beneš and Ivana Černá and Milan Křivánek},
  year = {2011},
  doi = {10.4204/eptcs.72.7},
  url = {https://arxiv.org/abs/1111.0373},
  note = {Source identifier: 1111.0373}
}