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
Verification of Strong Nash-equilibrium for Probabilistic BAR Systems.

, , , and . ICFEM, volume 11232 of Lecture Notes in Computer Science, page 106-123. Springer, (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

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)Analysing Web Ontology in Alloy: A Military Case Study., , , , and . SEKE, page 542-546. (2003)Editorial., , , and . Formal Asp. Comput., 21 (4): 303 (2009)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)A framework for adding time into formal object models., and . WORDS, page 26-31. IEEE Computer Society, (1997)Class Union and Polymorphism., and . TOOLS (12/9), page 181-190. Prentice Hall, (1993)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)