Searching for "Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Strategies
by unknown authors
…(11):1275-1291. [Emerson & Clarke, 1982] Emerson, E. Allen and Clarke, Edmund C.; 1982. Using branching time temporal logic…
Add To MetaCart

Bibliography
by Accellera Property Specification, J. S. Smith, D. J. Medeiros, M. W. Rohrer (eds, Proceedings Of The, R. Armoni, L. Fix, A. Flaisher, R. Gerth, B. Ginsburg, T Kanza, S. Mador-haim, E. Singerman, A. Tiemeyer, M. Y. Vardi, Y. Zbar, The For, F. Balarin, E. Stentovich, M. Chiodo, H. Hsieh, B. Tabbara, A. Jurecska, L. Lavagno, C. Passerone, K. Suzuki, A. Sangiovanni-vincentelli
….M. Clarke. Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons. Science of Computer…
Add To MetaCart

Showing 1 through 2.

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