Antero Kangas

Publication Activity (10 Years)

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

Publications

Antero Kangas, Antti Valmari
Verification with the Undefined: A New Look. Electron. Notes Theor. Comput. Sci. 80 (2003)