author = { Zarrieß, Benjamin Baader, Franz AND Baader, Franz AND Sardina, Sebastian },

title = { Verification of Golog Programs over Description Logic Actions },

publisher = {Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden},

keywords = { Programs , Logic , Formale Verifikation , Aktionssprachen , Beschreibungslogik , Verification , Action Language , Description Logic , Hochschulschrift },

year = {2018},

address = { Dresden },

url = { http://slubdd.de/katalog?TN_libero_mab2 }