共 7 条
[1]
DAS SR, 1973, IEEE T COMPUT, VC 22, P845, DOI 10.1109/TC.1973.5009176
[7]
Schwartz S. J., 1968, 1968 ninth annual symposium on switching and automata theory, P28