Home›Books›Hans LangmaackHans LangmaackNo biography available.Works (1)Formal techniques in real-time and fault-tolerant systems