Georg Weissenbacher

No bio available. Add one in Open Library.

Books by Georg Weissenbacher (50 max)

+ shelf+ list

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ...

2018

Hana Chockler, Georg Weissenbacher

+ shelf+ list

Digitaltechnik - eine praxisnahe Einfu hrung

2008

Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger