%0 Generic
%T Verification of Golog Programs over Description Logic Actions
%A Zarrieß, Benjamin
%A Baader, Franz
%A Baader, Franz
%A Sardina, Sebastian
%I Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
%K Programs
%K Logic
%K Formale Verifikation
%K Aktionssprachen
%K Beschreibungslogik
%K Verification
%K Action Language
%K Description Logic
%K Hochschulschrift
%D 2018
%C Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
%C Dresden
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation