You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata
Integrated Formal Methods
Springer, Cham, June 2016
Pedro R. D’Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards
The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.
|Readers by professional status||Count||As %|
|Readers by discipline||Count||As %|