DMCA

Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (1982)

Cached

Download Links

by Edmund M. Clarke , E. Allen Emerson
Venue:In: Kozen, D., Ed., Logics of Programs
Citations:1009 - 55 self