System Specification and Refinement in Temporal Logic (1995)

Cached

Download Links

by Amir Pnueli
Venue:Proceedings of Foundations of Software Technology and Theoretical Computer Science, volume 652 of LNCS
Citations:16 - 0 self