( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Adequate First Order Interval Logic.

, и . COMPOS, том 1536 из Lecture Notes in Computer Science, стр. 584-608. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Zhou Zhou

Zhou Zhou

Zhou Zhao

Yaming Zhou

Xianzhong Zhou

 

Другие публикации лиц с тем же именем

A Duration Calculus with Infinite Intervals., , и . FCT, том 965 из Lecture Notes in Computer Science, стр. 16-41. Springer, (1995)Decidability and Undecidability Results for Duration Calculus., , и . STACS, том 665 из Lecture Notes in Computer Science, стр. 58-68. Springer, (1993)Specification Of Embedded, Real-time Systems., , , и . RTS, стр. 116-121. IEEE, (1992)Semantics and Completeness of Duration Calculus., и . REX Workshop, том 600 из Lecture Notes in Computer Science, стр. 209-225. Springer, (1991)Specification & Verification of Higher Order Processes., и . MFCS, том 452 из Lecture Notes in Computer Science, стр. 322-328. Springer, (1990)An Extended Duration Calculus for Hybrid Real-Time Systems., , и . Hybrid Systems, том 736 из Lecture Notes in Computer Science, стр. 36-59. Springer, (1992)Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems., , , , и . ICTAC, том 4711 из Lecture Notes in Computer Science, стр. 34-49. Springer, (2007)A Formal Description of Hybrid Systems., , и . Hybrid Systems, том 1066 из Lecture Notes in Computer Science, стр. 511-530. Springer, (1995)Specifying Communicating Systems with Temporal Logic.. Temporal Logic in Specification, том 398 из Lecture Notes in Computer Science, стр. 304-323. Springer, (1987)Super-Dense Computation in Verification of Hybrid CSP Processes., , , и . FACS, том 8348 из Lecture Notes in Computer Science, стр. 13-22. Springer, (2013)