Formale Spezifikation, Validation und Testfallgenerierung für verteilte Systeme am Beispiel des Intelligent Application Protocols

@Misc{Grabowski01,
	author          = {Jens Grabowski},
	title           = {{Formale Spezifikation, Validation und Testfallgenerierung f{\"u}r verteilte Systeme am Beispiel des Intelligent Application Protocols}},
	organization    = {BTU Cottbus},
	address         = {Cottbus, Germany},
	month           = jun,
	year            = 2001,
}