( en | de | ru )

 

Disambiguierung von "Chaochen, Zhou"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Adequate First Order Interval Logic.

, und . COMPOS, Volume 1536 von Lecture Notes in Computer Science, Seite 584-608. Springer, (1997)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Zhou Zhou

Zhou Zhou

Rui Zhou

Yaming Zhou

Xianzhong Zhou

 

Weitere Publikationen von Autoren mit dem selben Namen

Specification Of Embedded, Real-time Systems., , , und . RTS, Seite 116-121. IEEE, (1992)A Duration Calculus with Infinite Intervals., , und . FCT, Volume 965 von Lecture Notes in Computer Science, Seite 16-41. Springer, (1995)Decidability and Undecidability Results for Duration Calculus., , und . STACS, Volume 665 von Lecture Notes in Computer Science, Seite 58-68. Springer, (1993)Semantics and Completeness of Duration Calculus., und . REX Workshop, Volume 600 von Lecture Notes in Computer Science, Seite 209-225. Springer, (1991)Specification & Verification of Higher Order Processes., und . MFCS, Volume 452 von Lecture Notes in Computer Science, Seite 322-328. Springer, (1990)An Extended Duration Calculus for Hybrid Real-Time Systems., , und . Hybrid Systems, Volume 736 von Lecture Notes in Computer Science, Seite 36-59. Springer, (1992)Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems., , , , und . ICTAC, Volume 4711 von Lecture Notes in Computer Science, Seite 34-49. Springer, (2007)A Formal Description of Hybrid Systems., , und . Hybrid Systems, Volume 1066 von Lecture Notes in Computer Science, Seite 511-530. Springer, (1995)Weakest environment of communicating processes.. AFIPS National Computer Conference, Volume 51 von AFIPS Conference Proceedings, Seite 679-690. AFIPS Press, (1982)Super-Dense Computation in Verification of Hybrid CSP Processes., , , und . FACS, Volume 8348 von Lecture Notes in Computer Science, Seite 13-22. Springer, (2013)