Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings / J. Vytopil (ed.). by Vytopil, J. (Jan), 1947- Series: Lecture notes in computer science ; 571. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1991 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	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. by Langmaack, Hans Roever, W.-P. de, 1943- Vytopil, J. (Jan), 1947- Working Group Provably Correct Systems Series: Lecture notes in computer science ; 863. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1994 Other title: ProCoS Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search