[Zurück]


Zeitschriftenartikel:

G. Pfeifer:
"Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs";
Lecture Notes in Computer Science, 2923 (2004), 2923; S. 220 - 233.



Online-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968352



Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Infomix

Projektleitung Thomas Eiter:
WASP


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.