Alexander van Dam

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Alexander van Dam, Bas Ploeger, Tim A. C. Willemse
Instantiation for Parameterised Boolean Equation Systems. ICTAC (2008)