Quantitative Automata and Logic for Pictures and Data Words
Mathematical logic and automata theory are two scientific disciplines with a close relationship that is not only fundamental for many theoretical results but also forms the basis of a coherent methodology for the verification and synthesis of computing systems. This connection goes back to a much lo...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
Universitätsbibliothek Leipzig
2017
|
| Subjects: | |
| Online Access: | http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-221165 http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-221165 http://www.qucosa.de/fileadmin/data/qucosa/documents/22116/Thesis.pdf |