著者典拠情報

著者標目形：
Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
属性：
Meeting
場所：
Warwick;Nijmegen;Lübeck, Germany;Uppsala, Sweden;Lyngby,Denmark;Pune, India
日付：
1988;1992;1994;1996;1998;2000
から見よ参照形：
FTRTFT
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
International Symposium, FTRTFT
注記：
Its (9/22-23/88 : Warwick, UK) Formal techniques in real-time and fault-tolerant systems, c1988
Its (2nd : 1992 : Nijmegen, The Netherlands) Formal techniques in real-time and fault-tolerant systems, c1991
EDSRC:Formal techniques in real-time and fault-tolerant systems, c1998: t.p. (5th International Symposium, FTRTFT'98 Lyngby, Denmark, September 14-18, 1998)
His Formal techniques in real-time and fault-tolerant systems, c2000: t.p. (6th International Symposium, FTRTFT 2000, Pune, India, Sept. 20-22, 2000) pref. (Six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT)) spine (FTRTFT)
著者典拠ID：
DA02672371


1.

図書
図書
1. Formal techniques in real-time and fault-tolerant systems : 5th International Symposium, FTRTFT'98 Lyngby, Denmark, September 14-18, 1998 : proceedings
Anders P. Ravn, Hans Rischel (eds.)
出版情報: Berlin : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1486
所蔵情報: 図書館
2.

図書
図書
2. Formal techniques in real-time and fault-tolerant systems : 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings (: gw)
Bengt Jonsson, Joachim Parrow (eds.)
出版情報: Berlin : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1135
所蔵情報: 図書館
3.

図書
図書
3. Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings (: Berlin ; : New York)
J. Vytopil (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 571
所蔵情報: 図書館
4.

図書
図書
4. Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 (: gw ; : us)
M. Joseph (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 331
所蔵情報: 図書館