Browse by Person

Group by: Item Type | Date | Journal or Publication Title | No Grouping

Number of items: 1.

Chen, Taolue and Han, Tingting and Katoen, J.-P. and Mereacre, A. and Jagadeesan, R. (2011) Model checking of continuous-time Markov Chains against timed automata specifications. Logical Methods in Computer Science 7 (1), ISSN 1860-5974.

This list was generated on Tue Nov 26 06:36:26 2024 GMT.