DMCA

An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic (1986)

Cached

Download Links

by Michael C. Browne , Michael C. Browne
Venue:In Proceedings of the Symposium on Logic in Computer Science
Citations:16 - 0 self