AUTHORS (1-5 of 5)
Vytopil, J. (Jan), 1947-
1
book jacket

Formal techniques in real-time and fault-tolerant systems

Boston : Kluwer Academic Publishers, c1993
 
c1993
PRINTED

Location: Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Books  C3 F7235    AVAILABLE    30330000096706
2
book jacket

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

Berlin ; New York : Springer-Verlag, c1991
 
c1991
PRINTED

Location: Information Sci. Lib., Mathematics Library
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Series  SerPro C3 F7235 1992  LNCS 571    LIB USE ONLY    30330000083142
 Mathematics Library  QA75.5 .L42  v.571    AVAILABLE    30340200299422
3
book jacket

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

Berlin ; New York : Springer-Verlag, 1991
1991
COMPUTER FILE

Location: Information Sci. Lib.
4
book jacket

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

Berlin ; New York : Springer-Verlag, c1994
 
c1994
PRINTED

Location: Mathematics Library, Information Sci. Lib.
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA75.5 .L42  v.863    AVAILABLE    30340200313132
 Inform. Sci. Series  SerPro C3 F7235 1994  LNCS 863    LIB USE ONLY    30330000098645
5
book jacket

Formal techniques in real-time and fault-tolerant systems third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lubeck, Germany, September 19-23, 1994 : proceedings

Berlin ; New York : Springer-Verlag, 1994
1994
COMPUTER FILE

Location: Information Sci. Lib.