%0 Thesis %1 fett2018expressive %A Fett, Daniel %C Stuttgart %D 2018 %K %R 10.18419/opus-10197 %T An expressive formal model of the web infrastructure

@phdthesis{fett2018expressive, added-at = {2023-08-31T16:02:52.000+0200}, address = {Stuttgart}, author = {Fett, Daniel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24cdccde5496e4db2518ec092253ad7ca/puma-wartung}, doi = {10.18419/opus-10197}, eventdate = {2018-10-19}, interhash = {3ca5b80e9b74855292109a7d537194a6}, intrahash = {4cdccde5496e4db2518ec092253ad7ca}, keywords = {}, language = {eng}, school = {Universität Stuttgart}, supervisor = {Küsters, Ralf}, supervisorgnd = {1028953577}, timestamp = {2023-08-31T14:02:52.000+0200}, title = {An expressive formal model of the web infrastructure}, type = {Dissertation}, year = 2018 }