DMCA

Model-Checking Markov Reward Models with Impulse Rewards., Dependable Systems and Networks (DSN

by Lucia Cloth , Joost-pieter Katoen , Maneesh Khattri , Reza Pulungan
Venue:IEEE Computer Society
Citations:12 - 3 self