时钟区域相关硕士博士期刊学术论文

本文首先给出对时间自动机时钟约束作等价处理的方法，然后以一个例子详细说明如何构造时钟区域自动机以及对它作相应的可达性关系的......