DMCA

QUANTITATIVE MODEL-CHECKING OF CONTROLLED DISCRETE-TIME MARKOV PROCESSES

Cached

Download Links

by Ilya Tkachev , Alexandru Mereacre , Joost-pieter Katoen , Alessandro Abate