原名:Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models 1 …
作品简介:1塞浦路斯大学计算机科学系对生活在池塘中的生态和水生动物的正式建模相关工作的概述,但对于例如将 PAlPs 模型翻译成 PRism 语言的植物种子传播学来说是不现实的,前景 Fl: 〈1, ℓ, nℓ……

资源下载
包年VIP免费升级包年VIP
0
显示验证码
没有账号?注册  忘记密码?

社交账号快速登录