Modelling logistic systems with exspect

Bibliographische Detailangaben

Veröffentlicht in:	Hee, K. M. van Minicourse on executable specification of distributed systems
1. Verfasser:	Aalst, W. M. P. van der (VerfasserIn)
Weitere Verfasser:	Waltmans, A. W. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1990
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!