文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
L. D. da Silva
发表
A formal approach for the verification of multiagent plans based on model checking and Petri nets
L. D. da Silva, 2004, ICSE 2004.