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

Saved in:
Bibliographic Details
Other Authors: Damm, Werner (Editor)
Olderog, Ernst-Rüdiger (Editor)
Conference: FTRTFT 2002 (7. : Oldenburg, Německo)
Format: Book
Language:English
Published: Berlin : Springer, 2002
Series:Lecture notes in computer science ; v. 2469
ISSN:0302-9743
ISBN:3-540-44165-4
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Status Sublibrary Description Location LCC Callnumber Old Callnumber
Open stacks; for loan  Place a Hold NTK collection 6th floor, shelf 6C/299 QA76 .54 .F77 2002 A 35378/3