LNCS 2102: Computer Aided Verification

opqrst · 发表于 2007-6-3 10:52:24

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

G. Berry, H. Comon, A. Finkel (Eds.):
Computer Aided Verification
13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings

LAS.xs · 发表于 2007-6-4 00:26:51

dingyige

denglikuan · 发表于 2010-7-8 09:33:19

感谢楼主

mydream9579 · 发表于 2010-7-8 09:40:49

ganxie 挺好的资料哈

wccs · 发表于 2010-7-8 10:36:19

楼主太强大了

LNCS 2102: Computer Aided Verification

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

站长推荐 /1