Erik P. de Vink (TU/e

Identifiers

• name variant Erik P. de Vink (TU/e 0.60 · backfill

Papers (3)

1. Towards a Feature mu-Calculus Targeting SPL Verification cs.LO · 2016 · author #4
2. Rooted branching bisimulation as a congruence for probabilistic transition systems cs.LO · 2015 · author #4
3. Coherent branching feature bisimulation cs.LO · 2015 · author #7

Mentions

• 1509.08564 #4 · backfill · confidence 0.70 Erik P. de Vink (TU/e
• 1504.03474 #7 · backfill · confidence 0.70 Erik P. de Vink (TU/e

Frequent Coauthors

• Eindhoven 2 shared papers
• Italy) 2 shared papers
• Maurice H. ter Beek (ISTI-CNR 2 shared papers
• Pisa 2 shared papers
• the Netherlands) 2 shared papers
• Amsterdam 1 shared papers
• Cordoba) 1 shared papers
• CWI 1 shared papers
• Eindhoven) 1 shared papers
• Matias D. Lee (FaMAF 1 shared papers
• Tessa Belder (TU/e 1 shared papers
• Tim A. C. Willemse (TU/e 1 shared papers
• UNC-CONICET 1 shared papers