Efficient Computation of Renaming Functions for ρ-reversibility Discrete and Continuous Time Markov Chains

Publication
VALUETOOLS 2017. Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools

Related