Login / Signup
Linda Spaninks
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 2
Top Topics
Search Tree
Kullback Leibler
Image Segmentation
Socio Technical
Top Venues
CoRR
Log. Methods Comput. Sci.
</>
Publications
</>
Rob van Glabbeek
,
Bas Luttik
,
Linda Spaninks
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence.
Log. Methods Comput. Sci.
16 (3) (2020)
Rob J. van Glabbeek
,
Bas Luttik
,
Linda Spaninks
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence.
CoRR
(2018)