Dalibor Topic

Publication Activity (10 Years)

Years Active: 2002-2007
Publications (10 Years): 0

Publications

Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic
System Description: SpassVersion 3.0. CADE (2007)
Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobalt, Dalibor Topic
S PASS Version 2.0. CADE (2002)