The temporal logic of reactive and concurrent systems

Saved in:

Bibliographic Details
Main Authors:	Manna, Zohar, Pnueli, A. (Amir)
Format:	Book
Language:	English
Published:	New York ; Tokyo Springer-Verlag 1992
Subjects:	Electronic digital computers > Programming Logic, Symbolic and mathematical
ISBN:	9780387976648, 3540976647, 0387976647, 9783540976646
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!