Mechanical Verification of Concurrent Systems with TLA (1992)

Cached

Download Links

by Urban Engberg , Urban Engberg , Peter Grønning , Peter Grnning , Leslie Lamport
Citations:53 - 9 self