DMCA

2 Compositional Abstraction for Stochastic Systems ⋆ (2009)

by Joost-pieter Katoen , Daniel Klink , Martin Neuhäußer , Joost-pieter Katoen , Daniel Klink , Martin R. Neuhäußer
Citations:7 - 1 self