CURRENTLY SOLD OUT

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-Sponsored by IFIP WG 2.2, Oldenburg, Germany, September 2002 : Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2002)