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