共 23 条
[2]
Chiasserini C. F., 1999, Pro. of the 5th Annual ACM/IEEE Int. Conf. on Mobile Computing and Networking-MobiCom '99, P88
[3]
CLOTH L, 2006, 0658 CTIT U TWENT
[4]
CLOTH L, 2006, THESIS U TWENTE
[6]
Model checking performability properties
[J].
INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS,
2002,
:103-112
[7]
HAVERKORT B, 2005, P 7 PERF WORKSH PMCC, P38
[8]
HAVERKORT BR, 2001, P 5 INT WORKSH PERF, P105
[10]
HORVATH A, 2002, P 4 INT C MATR AN ME