E- text books

Description

Title of E-book: Specifying Message Passing and Time-Critical Systems with Temporal Logic
Author: Koymans 
Publisher: Springer
Access online  

Publication date: 1992