Alessandro Aldini, Marco Bernardo
Expected-Delay-Summing Weak Bisimilarity for Markov Automata
QAPL, 2015.
@inproceedings{QAPL-2015-AldiniB, author = "Alessandro Aldini and Marco Bernardo", booktitle = "{Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems}", doi = "10.4204/EPTCS.194.1", pages = "1--15", series = "{EPTCS}", title = "{Expected-Delay-Summing Weak Bisimilarity for Markov Automata}", volume = 194, year = 2015, }