Archived
1
Fork 0
PhD thesis on: Nominal Techniques and Black Box Testing for Automata Learning https://joshuamoerman.nl/thesis/
This repository has been archived on 2025-04-09. You can view files and clone it, but cannot push or open issues or pull requests.
Find a file
2019-05-31 11:26:43 +02:00
content PDFA version. Colour version. Tagged version did not work well 2019-05-31 11:26:43 +02:00
content-other Laatste tweakjes bij het dankwoord 2019-05-30 13:32:55 +02:00
data References for sep seqs 2018-09-21 14:50:10 +02:00
environment PDFA version. Colour version. Tagged version did not work well 2019-05-31 11:26:43 +02:00
images Nog meer front en back matter 2019-05-20 22:47:01 +02:00
.gitignore Initial commit 2018-07-31 10:21:20 +02:00
biblio-eigen.bib Biblio 2019-05-24 12:59:33 +02:00
biblio-web.bib Ack + Summary. En nog wat kleine typos. 2019-05-29 21:35:05 +02:00
biblio.bib Biblio 2019-05-24 12:59:33 +02:00
boekenlegger.pdf Final print version 2019-05-30 12:26:37 +02:00
boekenlegger.svg Final print version 2019-05-30 12:26:37 +02:00
content print 30-05-2019.pdf Echt af? 2019-05-30 13:34:56 +02:00
content.tex PDFA version. Colour version. Tagged version did not work well 2019-05-31 11:26:43 +02:00
cover.pdf Final print version 2019-05-30 12:26:37 +02:00
cover.svg Final print version 2019-05-30 12:26:37 +02:00
environment.tex PDFA version. Colour version. Tagged version did not work well 2019-05-31 11:26:43 +02:00
README.md Initial commit 2018-07-31 10:21:20 +02:00
stellingen.txt Incorporated suggestions by Alexandra 2019-01-04 14:35:17 +01:00
thesis.tex Started with Learning Nom. Aut.. Adds biblio. Bit on algorithms typesetting. 2018-08-02 17:54:28 +02:00

Thesis

Self-explanatory!