%0 Journal Article %1 journals/pik/HerrmannK98 %A Herrmann, Peter %A Krumm, Heiko %D 1998 %J Praxis der Informationsverarbeitung und Kommunikation %K %N 2 %P 79-88 %T Protokollspezifikation und -verifikation mit dem Transferprotokoll-Framework. %U http://dblp.uni-trier.de/db/journals/pik/pik21.html#HerrmannK98 %V 21

@article{journals/pik/HerrmannK98, added-at = {2023-12-12T19:51:09.000+0100}, author = {Herrmann, Peter and Krumm, Heiko}, biburl = {https://www.bibsonomy.org/bibtex/2ea15ec2bf63629e3626f9a17ddae06ca/admin}, ee = {http://www.degruyter.com/view/j/piko.1998.21.issue-2/piko.1998.21.2.65/piko.1998.21.2.65.xml}, interhash = {26e5b6dd3afdfc52705d83671f6bfbdc}, intrahash = {ea15ec2bf63629e3626f9a17ddae06ca}, journal = {Praxis der Informationsverarbeitung und Kommunikation}, keywords = {}, note = {DOI:10.1515/piko.1998.21.2.65}, number = 2, pages = {79-88}, timestamp = {2023-12-12T19:51:09.000+0100}, title = {Protokollspezifikation und -verifikation mit dem Transferprotokoll-Framework.}, url = {http://dblp.uni-trier.de/db/journals/pik/pik21.html#HerrmannK98}, volume = 21, year = 1998 }