Formal Techniques in Real- Time and Faul- Tolerant Systems. Berlin: Springer- Verlag, 1991 620 p. 3-540-55092-5.
Formal Techniques in Real- Time and Faul- Tolerant Systems. Berlin: Springer- Verlag, 1991 620 p. 3-540-55092-5.
(1991) Formal Techniques in Real- Time and Faul- Tolerant Systems, Berlin: Springer- Verlag 620 p. 3-540-55092-5.
(1991). Formal Techniques in Real- Time and Faul- Tolerant Systems. Second International Symposium Nijmegen,The Netherlands,Janu. Berlin: Springer- Verlag, 620 p.
Formal Techniques in Real- Time and Faul- Tolerant Systems: Second International Symposium Nijmegen,The Netherlands,Janu. Berlin: Springer- Verlag; 1991. p. 620 p. ISBN: 3-540-55092-5.
