View of Software Model Checking Distributed Applications: A Hybrid Approach

Return to Article Details Software Model Checking Distributed Applications: A Hybrid Approach Download Download PDF