diff --git a/boekenlegger.pdf b/boekenlegger.pdf new file mode 100644 index 0000000..4f7e89c Binary files /dev/null and b/boekenlegger.pdf differ diff --git a/boekenlegger.svg b/boekenlegger.svg new file mode 100644 index 0000000..21db428 --- /dev/null +++ b/boekenlegger.svg @@ -0,0 +1,4949 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + image/svg+xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/content print 30-05-2019.pdf b/content print 30-05-2019.pdf new file mode 100644 index 0000000..d342065 Binary files /dev/null and b/content print 30-05-2019.pdf differ diff --git a/content-other/acknowledgements.tex b/content-other/acknowledgements.tex index ac71e0a..52e2764 100644 --- a/content-other/acknowledgements.tex +++ b/content-other/acknowledgements.tex @@ -21,7 +21,7 @@ Unfortunately, we have no papers together, but the connections you showed to log I am grateful for the many nice chats we had. I would like to thank the members of the manuscript committee, Bart, Ana, Falk, S\l{}awek, and Daniela. -Rreading a thesis is undoubtedly a lot of work, so thank you for the effort and feedback you have given me. +Reading a thesis is undoubtedly a lot of work, so thank you for the effort and feedback you have given me. Thanks, also, to the additional members coming to {\nl Nijmegen\en} to oppose during the defence, Jan Friso, Jorge, and Paul. On the first floor of the Mercator building, I had the pleasure of spending four years with fun office mates. diff --git a/content-other/ipa-dissertation-series.tex b/content-other/ipa-dissertation-series.tex index 7707646..8597e73 100644 --- a/content-other/ipa-dissertation-series.tex +++ b/content-other/ipa-dissertation-series.tex @@ -154,7 +154,7 @@ {Faculty of Science, Mathematics and Computer Science, RU} {2018-03} -\promitem{P. Fiter\u{a}u-Bro\c{s}tean} +\promitem{P. Fiter\u{a}u-Broștean} {Active Model Learning for the Analysis of Network Protocols} {Faculty of Science, Mathematics and Computer Science, RU} {2018-04} diff --git a/content-other/titelblad.tex b/content-other/titelblad.tex index 172bbd0..39848af 100644 --- a/content-other/titelblad.tex +++ b/content-other/titelblad.tex @@ -23,7 +23,7 @@ in het openbaar te verdedigen\\ op\\ maandag 1 juli 2019\\ om\\ -16.30 uur precies +16:30 uur precies \vfill door\\ diff --git a/cover.pdf b/cover.pdf index 81d307f..ba8d12a 100644 Binary files a/cover.pdf and b/cover.pdf differ diff --git a/cover.svg b/cover.svg index e73abd0..d4bbe36 100644 --- a/cover.svg +++ b/cover.svg @@ -24,8 +24,8 @@ showguides="true" inkscape:bbox-paths="true" inkscape:current-layer="layer8" - inkscape:cx="215.4129" - inkscape:cy="164.34073" + inkscape:cx="624.22138" + inkscape:cy="352.14345" inkscape:document-units="px" inkscape:guide-bbox="true" inkscape:object-nodes="true" @@ -44,7 +44,7 @@ inkscape:window-width="1368" inkscape:window-x="-8" inkscape:window-y="-8" - inkscape:zoom="3.82" + inkscape:zoom="0.4881968" inkscape:snap-global="true"> + transform="matrix(0,1.25,-1.25,0,663.51401,18.472758)" + id="g8912"> - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + id="g8847"> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - - - - - - - - - + id="g8830"> + + + + + + + + + + + + + + + + + @@ -21305,6 +21338,17 @@ d="m 178.0143,704.02655 c 5.88261,2.43024 7.80565,6.61363 9.59413,12.10779" id="path7404" inkscape:connector-curvature="0" /> + +