PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Tian, Cong"

Author of the publication

copydeleteadd this publication to your clipboard
Complexity of propositional projection temporal logic with star.

, and . Mathematical Structures in Computer Science, 19 (1): 73-100 (2009)

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.

Jun. -Prof. Chengzhe Tian University of Stuttgart

Tian Qiu University of Stuttgart

 

Other publications of authors with the same name

Focus Game for Projection Temporal Logic., and . TASE, page 45-51. IEEE Computer Society, (2011)An extended strange planet protocol., , , and . J. Comb. Optim., 30 (2): 299-319 (2015)Complexity of propositional projection temporal logic with star., and . Mathematical Structures in Computer Science, 19 (1): 73-100 (2009)Making CEGAR More Efficient in Software Model Checking., , and . IEEE Trans. Software Eng., 40 (12): 1206-1223 (2014)A cylinder computation model for many-core parallel computing., , and . Theor. Comput. Sci., (2013)Model Checking., and . Handbook of Finite State Based Models and Applications, Chapman and Hall/CRC, (2012)Synthesising Classic and Interval Temporal Logic., and . TIME, page 64-71. IEEE, (2011)Extending MSVL with Function Calls., , and . ICFEM, volume 8829 of Lecture Notes in Computer Science, page 446-458. Springer, (2014)Decidability of Propositional Projection Temporal Logic with Infinite Models., and . TAMC, volume 4484 of Lecture Notes in Computer Science, page 521-532. Springer, (2007)Some Fixed-Point Issues in PPTL., , , and . Theories of Programming and Formal Methods, volume 8051 of Lecture Notes in Computer Science, page 151-165. Springer, (2013)