Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis

Peter Buchholz, Tugrul Dayar, Jan Kriege, M. Can Orhan. Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis. In Gul Agha, Benny Van Houdt, editors, Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. Volume 9826 of Lecture Notes in Computer Science, pages 260-276, Springer, 2016. [doi]

Authors

Peter Buchholz

This author has not been identified. Look up 'Peter Buchholz' in Google

Tugrul Dayar

This author has not been identified. Look up 'Tugrul Dayar' in Google

Jan Kriege

This author has not been identified. Look up 'Jan Kriege' in Google

M. Can Orhan

This author has not been identified. Look up 'M. Can Orhan' in Google