Time and probability in formal design of distributed systems /

Bibliographic Details
Main Author:	Hansson, Hans A.
Other Authors:	Fredlund, Lars-åke
Format:	Book
Language:	English
Published:	Amsterdam ; New York : Elsevier, 1994.
Series:	Real-time safety critical systems ; 1.
Subjects:	Electronic data processing > Distributed processing. System design. Real-time data processing. Data processing > Systems analysis

Remote Storage