Erik P. de Vink

Identifiers

• name variant Erik P. de Vink 0.60 · backfill

Papers (1)

1. Spatial Model Checking of Images via Minimised Models and Branching Bisimilarity cs.LO · 2026 · author #5

Mentions

• 2606.31344 #5 · arxiv_oai · confidence 0.70 Erik P. de Vink

Frequent Coauthors

• Diego Latella 1 shared papers
• Jan Friso Groote 1 shared papers
• Mieke Massink 1 shared papers
• Vincenzo Ciancia 1 shared papers