著者典拠情報

著者標目形：
Jonsson, Bengt, 1957-
属性：
Personal
日付：
1957-
注記：
IFIP WG 6.1 Internatl. Symp. on Protocol Specification, Testing, and Verification (11th : 1991 : Stockholm, Sweden). Protocol specification, testing, and verification, 1991: CIP t.p. (Bengt Jonsson; Swedish Institute of Computer Science, Stockholm, Sweden) data sheet (b. 1957)
著者典拠ID：
DA06086494


1.

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

図書
図書
2. CONCUR '94: Concurrency theory : 5th International Conference, Uppsala, Sweden, August 22-25, 1994, proceedings (: us ; : gw)
Bengt Jonsson, Joachim Parrow, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 836
所蔵情報: 図書館