Fault tolerance and timing of distributed systems
Subtitle: compositional specification and verification
By: Henk Schepers
Contributors: Technische Universiteit Eindhoven
Published: 1994
Language: eng
Number of pages: 194
Notes: Thesis (doctoral)--Technische Universiteit Eindhoven, 1994.