Yassine Lakhnech, Sergio Yovine (eds.)
Berlin : Springer, c2004
図書等| No. | 所在 | 請求記号 | 資料ID | 資料タイプ | 状況（返却予定日） | コレクション | 備考 | 予約・取り寄せ人数 |
|---|---|---|---|---|---|---|---|---|
|
1 |
007.08-L49-3253
|
10004016348 |
一般図書 |
|
|
|
|
2004
x, 395 p. ; 24 cm
Includes bibliographical references and index
ドイツ＝ドイツ連邦共和国
英語 (eng)
英語 (eng)
FORMATS [ International Workshop, Formal Modeling and Analysis of Timed Systems ]
Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems [ FTRTFT ] [ International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems ] [ International Symposium, FTRTFT ]
3540231676
BA69396467
LCCN : 2004112582
