Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming";
Vortrag: 15th International Conference on Computing (CIC 2006),
Mexico City, Mexico;
21.11.2006
- 24.11.2006; in: "Proceedings of CIC-06",
IEEE Computer Society,
(2006),
ISBN: 978-0-7695-2708-6;
S. 3
- 11.
Online-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06586994
Zugeordnete Projekte:
Projektleitung Gerti Kappel:
ModelCVS: Eine semantische Infrastruktur für modellbasierte Toolintegration