@misc
{TN_libero_mab2,
author = {
Baader, Franz
AND
Zarrieß, Benjamin
},
title = {
Verification of Golog Programs over Description Logic Actions
},
publisher = {Technische Universität Dresden},
keywords = {
Forschungsbericht
},
year = {2013},
abstract = {In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-785040},
booktitle = {LTCS-Report ; 13-08},
address = {
Dresden
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}