@misc{indiciae69655d957374,
  title = {Control Explicit---Data Symbolic Model Checking: An Introduction},
  author = {Jiri Barnat and Petr Bauch},
  year = {2013},
  url = {https://arxiv.org/abs/1303.7379},
  note = {Source identifier: 1303.7379}
}