DMCA

Parallel Recursive State Compression for Free (2011)

Cached

Download Links

by Alfons Laarman , Jaco Van De Pol , Michael Weber
Venue:Proc. 18th Int. Spin Workshop on Model Checking Software, Springer Verlag, LNCS
Citations:6 - 5 self