DMCA

Metrics for Action-labelled Quantitative Transition Systems (2005)

by Yuxin Deng , Tom Chothia , Catuscia Palamidessi , Jun Pang
Citations:24 - 9 self