Proving Boolean Combinations of Deterministic Properties (1987)

Cached

Download Links

by Bowen Alpern , Fred B. Schneider
Venue:In Proceedings of the Second Symposium on Logic in Computer Science
Citations:15 - 0 self