Publications in Scientific Journals:

N. Bjorner, R. Nieuwenhuis, H. Veith, A. Voronkov:
"Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)";
Dagstuhl Reports, 1 (2011), 7; 23 - 35.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.