Up a level |
Jump to: Logical Methods in Computer Science
Number of items: 1.
Logical Methods in Computer Science
Chen, Taolue and Fokkink, W. and van Glabbeek, R.J. (2015) On the axiomatizability of impossible futures. Logical Methods in Computer Science 11 (3), ISSN 1860-5974.