首页
系统
动态
电子资讯
硬件
数码
软件介绍
网络软件
系统工具
应用软件
图形图像
多媒体
编程开发
字体下载
登录
标签
kripke
kripke structure
唠叨几句 目前在学习模型验证,导师给了一本书Handbook of Model Checking 2018 一本文献综述看,都是英文的,看的很慢。里面有数学推导过程&
kripke
Structure
admin
11天前
1
0