|
Volumn , Issue , 1998, Pages 346-354
|
Minimum-cost solutions for testing protocols with timers
a a a a |
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTATIONAL COMPLEXITY;
COST EFFECTIVENESS;
DATA COMMUNICATION SYSTEMS;
FINITE AUTOMATA;
SEQUENTIAL MACHINES;
FINITE STATE MACHINE (FSM) MODELS;
NETWORK PROTOCOLS;
|
EID: 0031649715
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (3)
|
References (28)
|