( en | de | ru )

 

Disambiguierung von "Zhou, Chaochen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Duration Calculus with Infinite Intervals.

, , und . FCT, Volume 965 von Lecture Notes in Computer Science, Seite 16-41. Springer, (1995)

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

Zhou Zhao

Jun Zhou

Jun Zhou

 

Weitere Publikationen von Autoren mit dem selben Namen

Specification Of Embedded, Real-time Systems., , , und . RTS, Seite 116-121. IEEE, (1992)Decidability and Undecidability Results for Duration Calculus., , und . STACS, Volume 665 von Lecture Notes in Computer Science, Seite 58-68. Springer, (1993)A Duration Calculus with Infinite Intervals., , und . FCT, Volume 965 von Lecture Notes in Computer Science, Seite 16-41. Springer, (1995)Specification & Verification of Higher Order Processes., und . MFCS, Volume 452 von Lecture Notes in Computer Science, Seite 322-328. Springer, (1990)Semantics and Completeness of Duration Calculus., und . REX Workshop, Volume 600 von Lecture Notes in Computer Science, Seite 209-225. Springer, (1991)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)Specifying Communicating Systems with Temporal Logic.. Temporal Logic in Specification, Volume 398 von Lecture Notes in Computer Science, Seite 304-323. Springer, (1987)Weakest environment of communicating processes.. AFIPS National Computer Conference, Volume 51 von AFIPS Conference Proceedings, Seite 679-690. AFIPS Press, (1982)