by Sven Schneider
Reference:
Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle (Sven Schneider), PhD thesis, Technical University of Berlin, Germany, 2019.
Bibtex Entry:
@phdthesis{DBLP:phd/dnb/Schneider19b,
author = {Sven Schneider},
title = {Deterministic pushdown automata as specifications for discrete event
supervisory control in Isabelle},
school = {Technical University of Berlin, Germany},
year = {2019},
url = {https://nbn-resolving.org/urn:nbn:de:101:1-2019122501030944190267},
urn = {urn:nbn:de:101:1-2019122501030944190267},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Schneider19b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}