|
by Biere, Armin, Kröning, Daniel, Weissenbacher, Georg, Wintersteiger, Christoph M.
Published 2008
Subjects:
“...Computer System Implementation...”Published 2008
Springer Berlin Heidelberg