Tessa Belder

According to our database, Tessa Belder authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Coherent branching feature bisimulation.

Tessa Belder, Maurice H. ter Beek, Erik P. de Vink

Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015