Vytopil, J.

Formal techniques in real-time and fault-tolerant systems /ed. by J. Vytopil. - Berlin S-V 1991 - ix, 620p - Lecture notes in computer science 571 .

3540550925

004.2 / N91