Comments on: Model checking CSLTA: Using timed automata to specify properties of stochastic systems

Comments on: Model checking CSLTA: Using timed automata to specify properties of stochastic systems http://www.algosyn.rwth-aachen.de hourly 1 http://wordpress.org/?v=3.6.1