Burkhard Stubert

Publication Activity (10 Years)

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

Publications

Rolf Drechsler, Wolfgang Günther, Burkhard Stubert
Efficient (Non-)Reachability Analysis of Counterexamples. MBMV (2004)