Jan VytopilBooksFormal techniques in real-time and fault-tolerant systemsFormal Techniques in Real-Time and Fault-Tolerant SystemsFormal Techniques in Real-Time and Fault-Tolerant SystemsFormal techniques in real-time and fault-tolerant systemsAuthor data: Open Library
