|
by Biere, Armin, Kröning, Daniel, Weissenbacher, Georg, Wintersteiger, Christoph M.
Published 2008
Published 2008
Springer Berlin Heidelberg