( 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

Yayun Zhou

Yaming Zhou

Xianzhong Zhou

 

Weitere Publikationen von Autoren mit dem selben Namen

Duration Calculus - A Formal Approach to Real-Time Systems, und . Monographs in Theoretical Computer Science. An EATCS Series Springer, (2004)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 Of Embedded, Real-time Systems., , , und . RTS, Seite 116-121. IEEE, (1992)Probabilistic Duration Calculus for Continuous Time., und . Formal Aspects Comput., 11 (1): 21-44 (1999)A computer-aided geometric approach to inverse kinematics., , und . J. Field Robotics, 15 (3): 131-143 (1998)A computer-aided geometric approach to inverse kinematics., , und . J. Field Robotics, 15 (3): 131-143 (1998)UNU and UNU/IIST.. 10th Anniversary Colloquium of UNU/IIST, Volume 2757 von Lecture Notes in Computer Science, Seite 26-33. Springer, (2002)Formal Design of Hybrid Systems., , , und . FTRTFT, Volume 863 von Lecture Notes in Computer Science, Seite 738-755. Springer, (1994)Linear Duration Invariants.. FTRTFT, Volume 863 von Lecture Notes in Computer Science, Seite 86-109. Springer, (1994)