共 22 条
[11]
Henzinger TA(undefined)Kronos: a verification tool for real-time systems undefined undefined undefined-undefined
[12]
Nicollin X(undefined)undefined undefined undefined undefined-undefined
[13]
Sifakis J(undefined)undefined undefined undefined undefined-undefined
[14]
Yovine S(undefined)undefined undefined undefined undefined-undefined
[15]
Larsen KG(undefined)undefined undefined undefined undefined-undefined
[16]
Pettersson P(undefined)undefined undefined undefined undefined-undefined
[17]
Yi W(undefined)undefined undefined undefined undefined-undefined
[18]
Popova L(undefined)undefined undefined undefined undefined-undefined
[19]
Vicario E(undefined)undefined undefined undefined undefined-undefined
[20]
Yoneda T(undefined)undefined undefined undefined undefined-undefined