@misc{8896,
  author = {Arnaud Gotlieb},
  title = {Constraint-Based Reacheability},
  year = {2012},
  journal = {INFINITY Workshop, co-located with FM 2012, Paris},
  month = {August},
  note = {INFINITY Workshop, co-located with FM 2012, Paris},
}