Vytopil, J.

ID:DA05988699

Alias Name: Vytopil, Jan

Search authors sharing the same name

Search Results1-3 of 3

1

Formal techniques in real-time and fault-tolerant systems : Third International Symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings

H. Langmaack, W.-P. de Roever, J. Vytopil, (eds.)

Springer-Verlag c1994 Lecture notes in computer science 863

Available at 55 libraries
2

Formal techniques in real-time and fault-tolerant systems

edited by Jan Vytopil

Kluwer Academic Publishers c1993 The Kluwer international series in engineering and computer science SECS 221 . Real-time systems

Available at 15 libraries
3

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings

J. Vytopil (ed.)

Springer-Verlag c1991 Lecture notes in computer science 571

: gw , : us

Available at 53 libraries

Search this author

Related Authors