Your search returned 3 results.

Results
			No cover image available Formal Techniques in Real Time and Fault Tolerant Systems : lecture notes in computer scienc : Proceedings e by Joseph, M Language: English Publication details: Springer: Tokyo ; 2000 Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 005.12 F56. Place hold Add to cart (remove)
			No cover image available Formal Techniques in Real-Time and Fault -Tolerant Systems : Lecture Notes in Computer Science : Proceedings by Jonsson, B.: Parrow, J Language: English Publication details: Springer: Tokyo ; 1996 Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 005.12 J55. Place hold Add to cart (remove)
			No cover image available Formal techniques in real-time and fault-tolerant systems : lecture notes in computer science : Proceedings by Ravn, A.P. (et-al) Language: English Publication details: Springer: Tokyo ; 1998 Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 005.12 F56. Place hold Add to cart (remove)

Refine your search