- Coherent branching feature bisimulationT. Belder, {Beek, ter}, M.H., {Vink, de}, E.P.. In Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering (FMSPLE 2015, London, UK, April 11, 2015). 2015: 14-30 [doi] [classification] 5 years ago