Content: Publications

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},
}