南京大学使用的ModelChecking教学PPT 上传者：qq_86804920 2019-02-16 19:55:06上传 其他文件 500kb 热度 201次 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 qiaofeng29079 2025-01-06 03:38:56 有些地方描述的不够清楚。 linhao19720 2024-12-29 15:58:25 这个资源很不错，资源中提供了很多类似资源的信息。 追寻着你呀 2024-12-29 03:03:01 3个ppt，感觉一般 yang26473 2025-01-03 14:31:08 很好，中英文都有，适合入门了解 发表评论
有些地方描述的不够清楚。
这个资源很不错，资源中提供了很多类似资源的信息。
3个ppt，感觉一般
很好，中英文都有，适合入门了解