Rüdiger Berndt, Peter Bazan, Kai-Steffen Jens Hielscher, Reinhard German. Construction Methods for MDD-Based State Space Representations of Unstructured Systems. In Kai Fischbach, Udo R. Krieger, editors, Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance - 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings. Volume 8376 of Lecture Notes in Computer Science, pages 43-56, Springer, 2014. [doi]
Abstract is missing.