( en | de | ru )

 

Disambiguierung von "Dang, Zhe"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification in loosely synchronous queue-connected discrete timed automata.

, , und . Theor. Comput. Sci., 290 (3): 1713-1735 (2003)

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.

Zhe Wang

Zhe Zhang

Zhe Lin

Zhe Sun

Zhe Wang

 

Weitere Publikationen von Autoren mit dem selben Namen

Dense Counter Machines and Verification Problems., , , und . CAV, Volume 2725 von Lecture Notes in Computer Science, Seite 93-105. Springer, (2003)Lossiness of Communication Channels Modeled by Transducers., , , und . CiE, Volume 8493 von Lecture Notes in Computer Science, Seite 224-233. Springer, (2014)An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components., und . FATES, Volume 3395 von Lecture Notes in Computer Science, Seite 155-169. Springer, (2004)Bit Rate of Programs., , und . CoRR, (2013)Typical Paths of a Graph., , und . Fundam. Informaticae, 110 (1-4): 95-109 (2011)On the Computational Power of 1-Deterministic and Sequential P Systems., , , und . Fundam. Informaticae, 73 (1-2): 133-152 (2006)Lossiness of communication channels modeled by transducers., , , und . Comput., 6 (2): 165-181 (2017)On P Systems Operating in Sequential Mode., und . DCFS, Report No. 619, Seite 164-177. Department of Computer Science, The University of Western Ontario, Canada, (2004)Optimal Software Testing - A Cooling Down Process., , und . FCS, Seite 162-168. CSREA Press, (2009)Automatic Verification of Multi-queue Discrete Timed Automata., und . COCOON, Volume 2697 von Lecture Notes in Computer Science, Seite 159-171. Springer, (2003)