Browse by Journal

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors/Editors | Item Type | No Grouping
Jump to: B | C
Number of items: 3.

B

Blanchette, Jasmin, Böhme, Sascha, Popescu, Andrei and Smallbone, Nicholas (2017) Encoding monomorphic and polymorphic types. Logical Methods in Computer Science, 12 (4) . ISSN 1860-5974 [Article] (doi:10.2168/LMCS-12(4:13)2016)

C

Chen, Taolue, Fokkink, Wan and Van Glabbeek, Rob J. (2015) On the axiomatizability of impossible futures. Logical Methods in Computer Science, 11 (3) . pp. 1-30. ISSN 1860-5974 [Article] (doi:10.2168/LMCS-11(3:17)2015)

Chen, Taolue, Han, Tingting, Katoen, Joost-Pieter, Mereacre, Alexandru and Jagadeesan, Radha (2011) Model checking of continuous-time Markov chains against timed automata specifications. Logical Methods in Computer Science, 7 (1) . ISSN 1860-5974 [Article] (doi:10.2168/LMCS-7(1:12)2011)

This list was generated on Wed May 31 05:09:57 2023 BST.