兰斯·克莱维兰 52出版物(1988–2023)编入索引的 341引文 合著者： 斯科特·斯莫尔卡（Scott A.Smolka）。；杰拉尔德·吕特根（Gerald Lüttgen）；彼得·方塔纳（Peter Fontana）… 主要字段： 计算机科学（68-XX） 发布日期： 兰斯·克莱维兰