Ta上传的资源 (0)

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