TY - BOOK ID - 145102957 TI - Checking experiments in sequential machines PY - 1989 SN - 0470213655 PB - New York : Wiley, DB - UniCat KW - Fault-tolerant computing KW - Electronic digital computers KW - Sequential machine theory KW - Tolérance aux fautes (informatique) KW - Machines séquentielles, Théorie des. KW - Ordinateurs KW - Testing KW - Tests. UR - https://www.unicat.be/uniCat?func=search&query=sysid:145102957 AB - ER -