Modular Model Checking of Software (1997)

Cached

Download Links

by Karen Laster , Orna Grumberg
Venue:In Conference on Tools and Algorithms for the Construction and Analysis of Systems
Citations:19 - 0 self