Refinement Modal Logic
| Title | Refinement Modal Logic |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Bozzelli, L, van Ditmarsch, H, French, T, Hales, J, Pinchinat, S |
| Journal | Information and Computation |
| URL | http://dx.doi.org/10.1016/j.ic.2014.07.013 |
Work Package:
WP2
