Tutorial on Specification-based Testing of Distributed Systems: Methods, Tools and Applications

@Misc{Grabowski00+,
	author          = {Jens Grabowski and Thomas Walter},
	title           = {{Tutorial on Specification-based Testing of Distributed Systems: Methods, Tools and Applications}},
	organization    = {17th International Conference and Exposition on Testing Computer Software (TCS'2000)},
	address         = {Washington D.C.},
	note            = {Theme: Testing Technology vs.Testers' Requirements},
	month           = jun,
	year            = 2000,
	keywords        = {Kommt sp{\"a}ter!},
}