Verification of Golog Programs over Description Logic Actions
| Authors: | Benjamin Zarrieß |
|---|---|
| Type: | PhD. Thesis |
| Publication Date: | July 2018 |
| School: | TU Dresden |
BibTeX@PhdThesis{hybris-a1-phdthesis-zarriess-2018,
title = {{Verification of Golog Programs over Description Logic Actions}},
author = {Benjamin Zarrieß},
school = {TU Dresden},
year = {2018},
month = {July},
}