1.

図書
図書
1. Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings (: gw ; : us)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 666
所蔵情報: 図書館
2.

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

図書
図書
3. Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings (: gw ; : us)
J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 430
所蔵情報: 図書館