DMCA

Modelling, reduction and analysis of Markov automata (extended version

by Dennis Guck , Hassan Hatefi , Holger Hermanns , Joost-pieter Katoen , Mark Timmer
Citations:5 - 3 self