Compositional Representation and Reduction of Stochastic Labelled Transition Systems based on Decision Node BDDs

Markus Siegle. Compositional Representation and Reduction of Stochastic Labelled Transition Systems based on Decision Node BDDs. In MMB. pages 173-185, 1999.

Abstract

Abstract is missing.