Bibliography
Nachweisbar sichere Software durch Modellieren und Verifizieren mit Hilfe von Petrinetzen
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.
BibTeX
@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
}
