Mechanical Verification of Concurrent Systems with TLA (1992)

by Urban Engberg , Peter Grønning , Leslie Lamport
Citations:54 - 7 self