Follow
Elwin Pater
Elwin Pater
Unknown affiliation
No verified email
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–3