Publications

Filters: Author is Thomas Brihaye  [Clear All Filters]
2014
N. Bertrand, et al., “Stochastic Timed Automata”, Logical Methods in Computer Science (LMCS), vol. 10, p. 1–73, 2014.