Bibliography
Verifying Coloured Nets in UNITY-Style
Rainer Mackenthun and Rüdiger Valk.
Verifying coloured nets in UNITY-style.
Fachbereichsmitteilung FBI-HH-M-227/91, Universität Hamburg,
Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 1991.
BibTeX
@TECHREPORT{Mackenthun+91,
AUTHOR = {Mackenthun, Rainer and Valk, R{\"u}diger},
ADDRESS = FBIUniAdresse,
INSTITUTION = FBIUniHHbis2005,
TITLE = {Verifying Coloured Nets in {UNITY}-Style},
TYPE = {Fachbereichsmitteilung},
NUMBER = {FBI-HH-M-227/91},
YEAR = 1991
}
