1
Computer Aided Verification [E-Book] : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings /
Other Personal Name(s): “...Biere, Armin....”

Full text 
Favorites
Saved in:
2
Hardware and Software: Verification and Testing [E-Book] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Other Personal Name(s): “...Biere, Armin....”

Full text 
Favorites
Saved in:
3
Handbook of satisfiability / [E-Book]
Other Personal Name(s): “...Biere, Armin....”

Full text 
Favorites
Saved in:
4
Digitaltechnik — Eine praxisnahe Einführung [E-Book] /
Other Personal Name(s): “...Biere, Armin....”

Full text 
Favorites
Saved in:
5
Theory and Applications of Satisfiability Testing - SAT 2006 [E-Book] / 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Other Personal Name(s): “...Biere, Armin...”

Full text 
Favorites
Saved in:

Narrow Search Results