@misc{indiciae64135a0007b7,
  title = {Alleviating State-space Explosion in Component-based Systems with Distributed, Parallel Reachability Analysis Algorithm},
  author = {Vasumathi K. Narayanan},
  year = {2018},
  url = {https://arxiv.org/abs/1803.03127},
  note = {Source identifier: 1803.03127}
}