共 79 条
[1]
AGGARWAL S, 1988, ADDING LIVENESS PROP
[3]
Beauquier J., 1980, FORMAL LANGUAGE THEO, P407
[5]
BIELECKI T, 1986, OPTIMALITY ZERO INVE
[6]
BOVOPOULOS AD, 1985, OPTIMAL ROUTING FLOW
[8]
CHO H, 1989, MATH CONTROL SIGNAL, V2, P47