@Inproceedings{EPTCS182.2, author = {Belder, Tessa and ter Beek, Maurice H. and de Vink, Erik P.}, year = {2015}, title = {Coherent branching feature bisimulation}, editor = {Atlee, Joanne M. and Gnesi, Stefania}, booktitle = {{\rm Proceedings 6th Workshop on} Formal Methods and Analysis in SPL Engineering, {\rm London, UK, 11 April 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {182}, publisher = {Open Publishing Association}, pages = {14-30}, doi = {10.4204/EPTCS.182.2}, }