11th International Workshop on Parallel and Distributed Methods in Verification PDMC 2012

11th International Workshop on Parallel and Distributed Methods in Verification PDMC 2012