|
|
by Biere, Armin, Kröning, Daniel, Weissenbacher, Georg, Wintersteiger, Christoph M.
Published 2008
Published 2008
Springer Berlin Heidelberg
|
|
by Baun, Christian, Kunze, Marcel, Nimis, Jens, Tai, Stefan
Published 2010
Published 2010
Springer Berlin Heidelberg