Rainer Mackenthun and Rüdiger Valk.
Nachweisbar sichere Software durch Modellieren und Verifizieren mit
Hilfe von Petrinetzen.
Technical Report FBI-HH-M-222, Universität Hamburg, Fachbereich
Informatik, 1993.
@TECHREPORT{Mackenthun+93, AUTHOR = {Mackenthun, Rainer and Valk, R{\"u}diger}, INSTITUTION = {Universit{\"a}t Hamburg, Fachbereich Informatik}, NUMBER = {FBI-HH-M-222}, TITLE = {{Nachweisbar sichere Software durch Modellieren und Verifizieren mit Hilfe von Petrinetzen}}, YEAR = 1993 }