PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Duan, Zhenhua"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Model-Driven Approach for Generating Business Processes and Process Interaction Semantics.

, , und . ACIS-ICIS, Seite 483-488. IEEE Computer Society, (2009)

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)Model Checking., und . Handbook of Finite State Based Models and Applications, Chapman and Hall/CRC, (2012)Complexity of propositional projection temporal logic with star., und . Mathematical Structures in Computer Science, 19 (1): 73-100 (2009)Focus Game for Projection Temporal Logic., und . TASE, Seite 45-51. IEEE Computer Society, (2011)Incorporating Clusters into Hybrid P2P Network., , , , und . ICDS, Seite 17. IEEE Computer Society, (2007)HP2P: A Hybrid Hierarchical P2P Network., , , , und . ICDS, Seite 18. IEEE Computer Society, (2007)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)Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata., und . SSIRI (Companion), Seite 41-46. IEEE Computer Society, (2011)Decidability of Propositional Projection Temporal Logic with Infinite Models., und . TAMC, Volume 4484 von Lecture Notes in Computer Science, Seite 521-532. Springer, (2007)