Author

Georg Weissenbacher

2 books found

Cover of Computer Aided Verification

Computer Aided Verification

Hana Chockler, Georg Weissenbacher · First published 2018

Cover of Digitaltechnik - eine praxisnahe Einfu hrung

Digitaltechnik - eine praxisnahe Einfu hrung

Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger · First published 2008