PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Dong, Jin Song"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Analysis of a Proof-of-Stake Blockchain.

, , , and . ICECCS, page 197-200. IEEE Computer Society, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Laura-Ann Dönges University of Stuttgart

Dr. Xinxin Jing University of Stuttgart

Qian Song University of Stuttgart

Jianing Song University of Stuttgart

Bowen Song University of Stuttgart

 

Other publications of authors with the same name

TRMCS in TCOZ., , and . IWSSD, page 63-74. IEEE Computer Society, (2000)Ontology Generation through the Fusion of Partial Reuse and Relation Extraction., and . KR, page 318-328. AAAI Press, (2008)Class Union and Polymorphism., and . TOOLS (12/9), page 181-190. Prentice Hall, (1993)A framework for adding time into formal object models., and . WORDS, page 26-31. IEEE Computer Society, (1997)Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows., , and . ADBIS Research Communications, page 206-216. Slovak University of Technology, Bratislava, (2002)An XML/XSL Approach to Visualize and Animate TCOZ., , , and . APSEC, page 453-460. IEEE Computer Society, (2001)State, Event, Time and Diagram in System Modeling.. ICSE, page 733-734. IEEE Computer Society, (2001)Computer-aided dispatch system family architecture and verification: an integrated formal approach., , , and . IEE Proceedings - Software, 153 (3): 102-112 (2006)Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach., and . IJAOSE, 2 (4): 449-474 (2008)Editorial., , , and . Formal Asp. Comput., 21 (4): 303 (2009)