Joseph, M

Formal techniques in real time and fault-tolerant systems - Berlin Springer-Verlag - Lecture notes in computer science ; 00331 .

681 LNCS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha