Statische und Dynamische Analysen für SDL-Spezifikationen auf der Basis von Petri Netzen und Sequence Charts

@MastersThesis{Grabowski90,
	author          = {Jens Grabowski},
	title           = {{Statische und Dynamische Analysen f{\"u}r SDL-Spezifikationen auf der Basis von Petri Netzen und Sequence Charts}},
	address         = {Hamburg, Germany},
	school          = {University of Hamburg},
	month           = apr,
	year            = 1990,
}