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)
http://dx.doi.org/10.4230/DagRep.1.7.23
Electronic version of the publication:
http://drops.dagstuhl.de/opus/volltexte/2011/3277/pdf/dagrep_v001_i007_p023_s11272.pdf
Created from the Publication Database of the Vienna University of Technology.