Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.


McCabe-Dansted, John, Dixon, CL ORCID: 0000-0002-4610-9533, French, Tim and Reynolds, Mark (2019) Sublogics of a Branching Time Logic of Robustness. Information and Computation, 266. pp. 126-160.

This list was generated on Sat Apr 13 18:53:05 2024 BST.