Title: Logicheskie metody proverki kombinat︠s︡ionnykh avtomatov
First published: 1975
Subjects: Automata, Reliability, Debugging in computer science
LC classification: QA76.6. S6, QA76.6 S546