%0 Generic
%T Verification of Golog Programs over Description Logic Actions
%A Baader, Franz
%A Zarrieß, Benjamin
%I Technische Universität Dresden
%K Forschungsbericht
%D 2013
%X In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-785040
%C Technische Universität Dresden
%C Dresden
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation