@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 }
}
Download citation