离散与混杂控制的代数理论(英文版)
上QQ阅读APP看本书,新人免费读10天
设备和账号都新为新人

6.5 Silent Step and Abstraction of Hybrid APTC with Localities