PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Tian, Cong"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A canonical form based decision procedure and model checking approach for propositional projection temporal logic.

, , und . Theor. Comput. Sci., (2016)

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.

Jun. -Prof. Chengzhe Tian University of Stuttgart

Tian Qiu University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesising Classic and Interval Temporal Logic., und . TIME, Seite 64-71. IEEE, (2011)Focus Game for Projection Temporal Logic., und . TASE, Seite 45-51. IEEE Computer Society, (2011)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)Implementing MapReduce with MSVL., , , , und . SOFL+MSVL, Volume 10795 von Lecture Notes in Computer Science, Seite 148-167. Springer, (2017)PPTL_SPIN: A SPIN Based Model Checker for Propositional Projection Temporal Logic., , und . SOFL+MSVL, Volume 9559 von Lecture Notes in Computer Science, Seite 195-205. Springer, (2015)Decidability of Propositional Projection Temporal Logic with Infinite Models., und . TAMC, Volume 4484 von Lecture Notes in Computer Science, Seite 521-532. Springer, (2007)Extending MSVL with Function Calls., , und . ICFEM, Volume 8829 von Lecture Notes in Computer Science, Seite 446-458. Springer, (2014)Some Fixed-Point Issues in PPTL., , , und . Theories of Programming and Formal Methods, Volume 8051 von Lecture Notes in Computer Science, Seite 151-165. Springer, (2013)