Formale Beschreibungstechniken fuer verteilte Systeme (FBT2000), 10. GI/TG-Fachgespraech

@Proceedings{Grabowski00+,
	author          = {Jens Grabowski and Stefan Heymer},
	title           = {{Formale Beschreibungstechniken fuer verteilte Systeme (FBT2000), 10. GI/TG-Fachgespraech}},
	series          = {Proceedings of the Tenth GI/ITG Technical Meeting on 'Formal Description Techniques for Distributed Systems'},
	address         = {L{\"u}beck, Germany},
	note            = {GI/ITG-Fachgespr{\"a}ch},
	month           = jun,
	year            = 2000,
}