Showing 1 - 2 results of 2 for search 'Erik. P. de Vink', query time: 0.02s
Refine Results
-
1
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically by Diego Latella, Mieke Massink, Erik P De Vink
Published 2015-12-01
Article -
2
Lowerbounds for Bisimulation by Partition Refinement by Jan Friso Groote, Jan Martens, Erik. P. de Vink
Published 2023-05-01
Article