@misc{indiciae1415cf6ef33a,
  title = {Partial Orders for Efficient BMC of Concurrent Software},
  author = {Jade Alglave and Daniel Kroening and Michael Tautschnig},
  year = {2013},
  url = {https://arxiv.org/abs/1301.1629},
  note = {Source identifier: 1301.1629}
}