( en | de | ru )

 

Disambiguation of "McCabe-Dansted, John Christopher"

Author of the publication

copydeleteadd this publication to your clipboard
Indiscrete Models: Model Building and Model Checking over Linear Time.

, , and . ICLA, volume 7750 of Lecture Notes in Computer Science, page 50-68. Springer, (2013)

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.

Antony McCabe

John-Christopher Wolf

Christopher John Beggs

John Christopher Vivian

Christopher John Jackson

 

Other publications of authors with the same name

A Tableau for Bundled Strategies., and . TABLEAUX, volume 9323 of Lecture Notes in Computer Science, page 22-37. Springer, (2015)Verifying Temporal Properties in Real Models., , and . LPAR, volume 8312 of Lecture Notes in Computer Science, page 309-323. Springer, (2013)Synthesis for Temporal Logic over the Reals., , and . Advances in Modal Logic, page 217-238. College Publications, (2012)Fairness with EXPTIME Bundled CTL Tableau., and . TIME, page 164-173. IEEE Computer Society, (2014)Verification of Rewrite Rules for Computation Tree Logics., and . TIME, page 142-151. IEEE Computer Society, (2014)A Tableau for RoBCTL*.. JELIA, volume 5293 of Lecture Notes in Computer Science, page 298-310. Springer, (2008)A Temporal Logic of Robustness., , and . FroCoS, volume 4720 of Lecture Notes in Computer Science, page 193-205. Springer, (2007)An Algebraic System of Temporal Structures., , and . TIME, page 81-88. IEEE Computer Society, (2013)On the Succinctness of RoCTL*.. CATS, volume 119 of CRPIT, page 85-94. Australian Computer Society, (2011)Indiscrete Models: Model Building and Model Checking over Linear Time., , and . ICLA, volume 7750 of Lecture Notes in Computer Science, page 50-68. Springer, (2013)