著者典拠情報

著者標目形：
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. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Ed Brinksma, Kim Guldstrand Larsen (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2404
所蔵情報: 研究室
2.

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

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

図書
図書
4. Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings (: Berlin ; : New York)
K.G. Larsen, A. Skou (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 575
所蔵情報: 図書館