【书名】：《Formal techniques in real-time and fault-tolerant systems》
【作者】：(Jan); Vytopil;J.
【出版社】：Kluwer Academic Publishers
【时间】：1993
【页数】：208
【ISBN】：0792393325
【SS码】：40371764