Formal techniques in real-time andfault-tolerant systems : 4th international symposium Uppsala, Sweden, September 9-13, 1996 : proceedings / Bengt Jonsson ... [et al.] (eds.)

• Record Nr.: UNISA990000206510203316
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1996
• ISBN: 3-540-61648-9
• Descrizione fisica: X, 478 p. : ill. ; 23 cm
• Collana: Lecture notes in computer science ; 1135
• Disciplina: 00433
• Collocazione: 001 LNCS (1135)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia