Searching for "Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

vid L. Dill. Sequential Cirsuit Veri�cation Using Symbolic Model
by Ahp R. Alur, G. Holzmann, D. Peled, An Analyzer, Message Sequence, Bcl Jerry R. Burch, Edmund M. Clarke, David E. Long Representing, Bcmd Jerry R. Burch, Edmund M. Clarke, Kenneth L. Mcmillan
…. Design and synthesis of synchronization skeletons using Branching Time Temporal Logic. LNCS, Proceedings…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB