Volgen
Elwin Pater
Elwin Pater
Onbekend partnerschap
Geen geverifieerd e-mailadres
Titel
Geciteerd door
Geciteerd door
Jaar
Guard-based partial-order reduction
A Laarman, E Pater, J Van de Pol, H Hansen
International journal on software tools for technology transfer 18, 427-448, 2016
452016
Partial order reduction for PINS
E Pater
University of Twente, 2011
132011
From structural operational semantics to graph transformations
E Pater
2007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–3