Computer-Aided Verification of Coordinating Processes

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

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

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

SystemVerilog for Verification: by Spear, Chris, Tumbush, Greg

LaFleur Brooks' Health Unit Coordinating

LaFleur Brooks' Health Unit Coordinating Pocket Guide

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