Contact Privacy DMCA

Robuta
https://iris.unito.it/handle/2318/1662508 Probabilistic Timed Automata with Clock-Dependent Probabilities probabilistic timed automataclockdependentprobabilities