@Inproceedings{EPTCS181.1,
  author    = {Wijs, Anton},
  year      = {2015},
  title     = {Confluence Detection for Transformations of Labelled Transition Systems},
  editor    = {Rensink, Arend and Zambon, Eduardo},
  booktitle = {{\rm Proceedings}
               Graphs as Models,
               {\rm London, UK, 11-12 April 2015}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {181},
  publisher = {Open Publishing Association},
  pages     = {1-15},
  doi       = {10.4204/EPTCS.181.1},
}