![](/img/cover-not-exists.png)
Sublogics of a branching time logic of robustness
McCabe-Dansted, John, Dixon, Clare, French, Tim, Reynolds, MarkVolume:
266
Journal:
Information and Computation
DOI:
10.1016/j.ic.2019.02.003
Date:
June, 2019
File:
PDF, 924 KB
2019