Formal techniques in real-time and fault-tolerant systems：7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings

Corporate Authors: FTRTFT 2002 (2002 Oldenburg, Germany
Group Author: Damm Werner; Olderog E.-R
Published: Springer,
Publication Dates: c2002.
Call Number: TP316.2-532/F723/2002