Skip to content

Compositional Design of Stochastic Timed Automata.

Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet

Year2016
ProceedingsCSR

Browse the full CSR paper archive.