文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Carlo Marchetti
发表
Fault-Tolerant Sequencer: Specification and an Implementation∗
Sara Tucci Piergiovanni, Roberto Baldoni, Carlo Marchetti, 2002 .