John McCabe-Dansted

Bibliography

French, Tim, McCabe-Dansted, John and Reynolds, Mark A. 2012. “Synthesis for Temporal Logic over the Reals.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 217–238. London: King’s College Publications.