
Registered user since Tue 26 Jan 2016
Name: Anton Wijs
Country: Netherlands
Affiliation: Eindhoven University of Technology
Personal website: http://www.win.tue.nl/~awijs
Research interests: model checking, equivalence checking, multi-core computing, gpu computing, graph transformation
Contributions
SPIN 2017 | Committee Member in Program Committee | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ISSTA 2017-profile
View general profile
View general profile