Juri Lichtner

Publication Activity (10 Years)

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

Publications

Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer
Propositional approximations for bounded model checking of partial circuit designs. ICCD (2008)