Publications

Filters: Author is Patricia Bouyer [Clear All Filters]

2014

N. Bertrand, et al., “Stochastic Timed Automata”, Logical Methods in Computer Science (LMCS), vol. 10, p. 1–73, 2014.