%0 Thesis %1 augustin1989beitrag %A Augustin, Lutz %D 1989 %K %T ˜Einœ Beitrag zur Verifikation von Kommunikationsprotokollen mit Petri-Netzen

@phdthesis{augustin1989beitrag, added-at = {2023-12-12T17:48:59.000+0100}, author = {Augustin, Lutz}, biburl = {https://www.bibsonomy.org/bibtex/20a2df9301a7207de786f97b10b0a80e6/admin}, dnbtitleid = {920345794}, interhash = {092b42b736fd8cc1d0375b9e3a9b474e}, intrahash = {0a2df9301a7207de786f97b10b0a80e6}, keywords = {}, school = {HS}, timestamp = {2023-12-12T17:48:59.000+0100}, title = {˜Einœ Beitrag zur Verifikation von Kommunikationsprotokollen mit Petri-Netzen}, year = 1989 }