Siert Wieringa

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Mutual Exclusion

Satisfiability Testing

Comparative Analysis

Top Venues

J. Comput. Syst. Sci.

Publications