1.

図書
図書
1. Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
Joost-Pieter Katoen (ed.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1601
所蔵情報: 図書館
2.

図書
図書
2. 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
所蔵情報: 図書館
3.

図書
図書
3. 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
所蔵情報: 図書館
4.

図書
図書
4. Proceedings of the Third Workshop on Parallel and Distributed Real-Time Systems : April 25, 1995, Santa Barbara, California
sponsored by the 9th IEEE International Parallel Processing Symposium ; in cooperation with the IEEE Computer Society Technical Committees on: Parallel Processing ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995
所蔵情報: 図書館
5.

図書
図書
5. Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994 (: us ; : gw)
A. Ponse, C. Verhoef, and S.F.M. van Vlijmen (eds)
出版情報: London ; New York : Springer-Verlag, c1995
シリーズ名: Workshops in computing
所蔵情報: 研究室
6.

図書
図書
6. Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings (: gw ; : us)
J.W. de Bakker ... [et al.], eds
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 600
所蔵情報: 図書館
7.

図書
図書
7. 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
所蔵情報: 図書館
8.

図書
図書
8. 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
所蔵情報: 図書館