DMCA

Abstract PDMC 2007 Preliminary Version A Stack-Slicing Algorithm for Multi-Core Model Checking

Cached

Download Links

by Gerard J. Holzmann