著者典拠情報

標目形：
Larsen, K. G. (Kim G.), 1957-
属性：
Personal
日付：
1957-
から見よ参照形：
Larsen, Kim G., 1957-
Larsen, Kim Guldstrand
注記：
CAV '91 (3rd : 1991 : Ålborg, Denmark). Computer aided verification, c1992: CIP t.p. (K.G. Larsen) data sheet (b. Kim G. Larsen; b. 12-23-57)
EDSRC:Context-dependent bisimulation between processes / by Kim Guldstrand Larsen(University of Edinburgh, Department of Computer Science, 1986)
著者典拠ID：
DA0637105X


1.

図書
図書
1. CONCUR 2001 - concurrency theory : 12th International Conference, Aalborg, Denmark, August 20-25, 2001 : proceedings
Kim G. Larsen, Mogens Nielsen (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2154
所蔵情報: loading…
2.

図書
図書
2. Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1443
所蔵情報: loading…