共 59 条
[3]
Andreychenko Aleksandr, 2011, Computer Aided Verification. Proceedings 23rd International Conference, CAV 2011, P83, DOI 10.1007/978-3-642-22110-1_8
[4]
[Anonymous], 2008, Applied Probability and Queues
[5]
[Anonymous], 2018, INT J PROD RES
[9]
Bradley B. C., 1986, DEPENDENCE PROBABILI, P165