DMCA

ABSTRACT Model Checking Concurrent Linux Device Drivers

Cached

Download Links

by Thomas Witkowski , Nicolas Blanc , Daniel Kroening , Georg Weissenbacher