Coverage Preserving Reduction Strategies for Reachability Analysis

Cached

Download Links

by Gerard J. Holzmann , Patrice Godefroid , Didier Pirottin
Citations:60 - 8 self