%0 Thesis %1 krumm1984spezifikation %A Krumm, Heiko %D 1984 %K dnb Informatik Datenverarbeitung %T Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme

@phdthesis{krumm1984spezifikation, added-at = {2016-05-31T07:25:59.000+0200}, author = {Krumm, Heiko}, biburl = {https://www.bibsonomy.org/bibtex/23f4067c01ea2baa8762661151d887f5b/genealogie}, dnbtitleid = {860236803}, interhash = {b434889258a10d7fd5b6490416b7a694}, intrahash = {3f4067c01ea2baa8762661151d887f5b}, keywords = {dnb Informatik Datenverarbeitung}, school = {Uni Karlsruhe}, timestamp = {2016-05-31T07:25:59.000+0200}, title = {Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme}, year = 1984 }