| 1.
電子ブック |
ＥＢ
|
Bjørner, Dines Bjørner, M. Broy, I. V. Pottosin
|
||||
| 2.
電子ブック |
ＥＢ
|
Broy, M. Broy, Stephan Merz, Katharina Spies
|
||||
| 3.
電子ブック |
ＥＢ
|
International Andrei Ershov Memorial Conference, Dines Bjørner, M. Broy, I. V. Pottosin
|
||||
| 4.
電子ブック |
ＥＢ
|
Broy, M. Broy, Stefan Jähnichen
|
||||
| 5.
電子ブック |
ＥＢ
|
International Workshop RTSE '97, M. Broy, Bernhard Rumpe
|
||||
| 6.
電子ブック |
ＥＢ
|
Broy, M. Broy, Martin Wirsing
|
