Time and probability in formal design of distributed systems

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hansson, Hans A. (VerfasserIn)
Weitere Verfasser:	Fredlund, Lars-åke (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. Elsevier 1994
Schriftenreihe:	Real time safety critical systems 1
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!