search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Guard-based partial-order reduction.

Alfons Laarman Elwin Pater Jaco van de Pol Henri Hansen

Published in: Int. J. Softw. Tools Technol. Transf. (2016)

Keyphrases