A formal method to deal with uncertainty in systems with concurrent processes

Bibliographische Detailangaben

1. Verfasser:	Wedde, Horst (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	St. Augustin, Ges. für Math. und Datenverarb., Inst. für Informationsforschung (ISF) 1979
Schriftenreihe:	Internal report / Gesellschaft für Mathematik und Datenverarbeitung, Institut für Informationsforschung (ISF) 79,2
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!