Mechanical Verification of Distributed Algorithms in Higher-Order Logic (1995)

Cached

Download Links

by Ching-tsun Chou
Venue:The Computer Journal
Citations:12 - 1 self