DMCA

Scalable Shared Memory LTL Model Checking

Cached

Download Links

by J. Barnat , L. Brim , P. Ročkai
Venue:SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
Citations:4 - 1 self