Model Checking Concurrent Assembly Algorithms

Cached

Download Links

by Joseph Cordina , Stephen Fenech , Gordon J. Pace