DMCA

Circular Compositional Reasoning About Liveness (1999)

Cached

Download Links

by K. L. Mcmillan
Venue:Advances in Hardware Design and Verification: IFIP WG10.5 International Conference on Correct Hardware Design and Verification Methods (CHARME ’99), volume 1703 of Lecture Notes in Computer Science
Citations:39 - 1 self