Login / Signup

Measuring performance of continuous-time stochastic processes using timed automata.

Tomás BrázdilJan KrcálJan KretínskýAntonín KuceraVojtech Rehák
Published in: HSCC (2011)
Keyphrases