DMCA

Space Efficient Reachability Analysis Through Use of Pseudo-Root States (1997)

Cached

Download Links

by Atanas N. Parashkevov , Jay Yantchev
Venue:Proceedings of Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS’97
Citations:6 - 0 self