Verification of golog programs over description logic actions - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Benjamin Zarrieß. Verification of golog programs over description logic actions. PhD thesis, Dresden University of Technology, Germany, 2018. [doi]

@phdthesis{dnb-21349,
  title = {Verification of golog programs over description logic actions},
  author = {Benjamin Zarrieß},
  year = {2018},
  url = {http://d-nb.info/116636531X},
  researchr = {https://researchr.org/publication/dnb-21349},
  cites = {0},
  citedby = {0},
  school = {Dresden University of Technology, Germany},
}

runs on WebDSL