Lars Helge Haß

Publication Activity (10 Years)

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

Publications

Lars Helge Haß, Thomas Noll
Equational Abstractions for Reducing the State Space of Rewrite Theories. WRLA (2008)