TY - GEN
AU - Baader, Franz
AU - Zarrieß, Benjamin
TI - Verification of Golog Programs over Description Logic Actions
PB - Technische Universität Dresden
KW - Forschungsbericht
PY - 2013
N2 - In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-785040
BT - LTCS-Report ; 13-08
CY - Dresden
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation