NCID | DA09903687 |
名称(HDNG) | Venema, Yde, 1963- |
生没年(DATE) | 1963- |
注記(NOTE) | Modal logic and process algebra, 1995: CIP t.p. (Yde Venema) CIP data sheet (b. 4-21-63) SRC:Modal logic and process algebra : a bisimulation perspective / edited by Alban Ponse, Maarten de Rijke & Yde Venema(CSLI, c1995) |
LCAID | 95062438 |