Uppaal教程中gossip girl模型的boolean实现。
教程内的下载地址失效，就自己做了一下，integer以及其他实现略微修改下就行。
包含xml文件以及q文件。
2021-05-30 21:06:35
1KB
1