Using Temporal Logic in the Compositional Specification of Concurrent Systems
Download or Read eBook Using Temporal Logic in the Compositional Specification of Concurrent Systems PDF written by Howard Barringer and published by . This book was released on 1986 with total page 37 pages. Available in PDF, EPUB and Kindle.
Author | : Howard Barringer |
Publisher | : |
Total Pages | : 37 |
Release | : 1986 |
ISBN-10 | : OCLC:17648676 |
ISBN-13 | : |
Rating | : 4/5 (76 Downloads) |
Book Synopsis Using Temporal Logic in the Compositional Specification of Concurrent Systems by : Howard Barringer
Book excerpt: