GitHub repository: mijunri/TimedAutomata
Primary language: Java
Created: 2021-03-07T13:43:55Z
Description: 这是一个时间自动机的工具包，包含了时间自动机的定义以及相关操作