文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Willem Otto David Griffioen
发表
Analysis of an Audio Control Protocol with Bus Collision
Willem Otto David Griffioen, 1994 .
Studies in computer aided verification of protocols
Willem Otto David Griffioen, W. Griffioen, 2000 .