@Inproceedings{EPTCS107.4,
  author    = {Gotlieb, Arnaud and Denmat, Tristan and Lazaar, Nadjib},
  year      = {2013},
  title     = {Constraint-based reachability},
  editor    = {Atig, Mohamed Faouzi and Rezine, Ahmed},
  booktitle = {{\rm Proceedings 14th International Workshop on}
                Verification of Infinite-State Systems ,
               {\rm Paris, France, 27th August 2012}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {107},
  publisher = {Open Publishing Association},
  pages     = {25-43},
  doi       = {10.4204/EPTCS.107.4},
}