DISTINGUISHING SETS FOR OPTIMAL STATE IDENTIFICATION IN CHECKING EXPERIMENTS

被引：21
作者：
BOUTE, RT [1 ]
机构：
[1] STANFORD UNIV,DIGITAL SYST LAB,STANFORD,CA 94305
来源：
IEEE TRANSACTIONS ON COMPUTERS | 1974年 / C 23卷 / 08期
关键词：
D O I：
10.1109/T-C.1974.224043
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：874 / 877
页数：4
相关论文
共 8 条
[1]  
BOUTE RT, 1972, 30 STANF EL LAB DIG
[2]  
Hartmanis J., 1966, ALGEBRAIC STRUCTURE
[3]  
HENNIE FC, 1968, FINITE STATE MODELS
[4]  
HENNIE FC, 1964, 5TH P ANN S SWITCH C, P95
[5]  
HSIEH EP, 1971, IEEE T COMPUT, VC 20, P1153
[6]  
HSIEH EP, 1969, THESIS COLUMBIA U
[7]  
KOHAVI I, 1968, IEEE T COMPUTERS, VC 17, P792
[8]  
Moore Edward F., 1956, AUTOMATA STUDIES
1