Jan Vytopil
Formal Techniques In Real-Time And Fault-Tolerant Systems
Editor: Jan Vytopil
Kluwer Academic Publishers Group (Netherlands), 1993
Hardback, 228 pages
Formal Techniques In Real-Time And Fault-Tolerant Systems / Proceedings Of The Second International Symposium, Nijmegen, The Nnetherlands, January 8-10, 1992 (2Nd)
Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
Editor: Jan Vytopil
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 1991
Paperback, 629 pages


