Computer-Aided Verification Of Coordinating Processes: The Automata-Theoret...

Robert P. Kursh Computer-Aided Verification of Coordinating Process (Paperback)

CMOS VLSI Layout and Verification of a SIMD Computer by National Aeronautics and

Computer Control of Machines and Processes (Addison-Wesley Series in Electri...

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Ap

LaFleur Brooks' Health Unit Coordinating

Skills Practice Manual for LaFleur Brooks' Health Unit Coordinating

LaFleur Brooks' Health Unit Coordinating Pocket Guide