The Temporal logic of reactive and concurrent systems

Bibliographic Details
Main Authors:	Manna, Zohar, Pnueli, Amir
Format:	Printed Book
Published:	New York, Springer Verlag 1992
Subjects:	Electronic digital computers Programming

Holdings details from MG University
Call Number:	005.1 N2
Copy	Live Status Unavailable

Similar Items