Verifying Temporal Properties without Temporal Logic (1989)

Cached

Download Links

by Bowen Alpern , Fred B. Schneider
Citations:37 - 0 self