Zeitschriftenartikel:
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;
S. 23
- 35.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.4230/DagRep.1.7.23
Elektronische Version der Publikation:
http://drops.dagstuhl.de/opus/volltexte/2011/3277/pdf/dagrep_v001_i007_p023_s11272.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.