PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Duan, Zhenhua"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Focus Game for Projection Temporal Logic.

, und . TASE, Seite 45-51. IEEE Computer Society, (2011)

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.

Keine Personen gefunden für den Autorennamen Duan, Zhenhua
Eine Person hinzufügen mit dem Namen Duan, Zhenhua
 

Weitere Publikationen von Autoren mit dem selben Namen

An extended strange planet protocol., , , und . J. Comb. Optim., 30 (2): 299-319 (2015)Complexity of propositional projection temporal logic with star., und . Mathematical Structures in Computer Science, 19 (1): 73-100 (2009)Making CEGAR More Efficient in Software Model Checking., , und . IEEE Trans. Software Eng., 40 (12): 1206-1223 (2014)A cylinder computation model for many-core parallel computing., , und . Theor. Comput. Sci., (2013)Model Checking., und . Handbook of Finite State Based Models and Applications, Chapman and Hall/CRC, (2012)Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata., und . SSIRI (Companion), Seite 41-46. IEEE Computer Society, (2011)Focus Game for Projection Temporal Logic., und . TASE, Seite 45-51. IEEE Computer Society, (2011)HP2P: A Hybrid Hierarchical P2P Network., , , , und . ICDS, Seite 18. IEEE Computer Society, (2007)Incorporating Clusters into Hybrid P2P Network., , , , und . ICDS, Seite 17. IEEE Computer Society, (2007)Operational Semantics of Framed Temporal Logic Programs., und . SOFSEM (1), Volume 4362 von Lecture Notes in Computer Science, Seite 566-578. Springer, (2007)