Metrics for actionlabelled quantitative transition systems (0)

by Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang
Venue:Electronic Notes in Theoretical Computer Science