Mobility Indices in Continuous Time Markov Chains 论文

1986Econometrica引用 231
Petri Nets in System ModelingFormal Methods in VerificationTraffic control and management