TY  - BOOK
AU  - Bhattacharya,Ashok
TI  - Checking experiment in sequential machines
SN  - 8122401139
U1  - 510.7834 
PY  - 1989///
CY  - New Delhi
PB  - Wiley Eastern
KW  - Electronic digital computers
KW  - Programming
N1  - Includes index; Bibliography: p. 134-146
ER  -