@inproceedings{fmsple15,
  author    = {Belder, T. and Beek, M.H. ter and Vink, E.P. de},
  title     = {Coherent Branching Feature Bisimulation},
  booktitle = {Proc.\ FMSPLE 2015},
  editor    = {J. Atlee and S. Gnesi},
  publisher = {EPTCS 182},
  year      = {2015},
  pages     = {17--30},
  doi       = {dx.doi.org/10.4204/EPTCS.182.2},
}