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 /

Bibliographic Details
Corporate Author: FTRTFT 2002 Oldenburg, Germany
Other Authors: Damm, Werner, Olderog, E.-R
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2002]
Subjects:

Evans: Library Stacks

Holdings details from Evans: Library Stacks
Call Number: QA76.54 .F75 2002
 
Call Number Status Get It
QA76.54 .F75 2002 Available