Larsen, K. G. (Kim G.), 1957-
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | 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) |
Dates of Birth and Death | 1957- |
から見よ参照 | Larsen, Kim G., 1957- Larsen, Kim Guldstrand |
コード類 | 典拠ID=AU20018781 NCID=DA0637105X |