Temporal logic of reactive and concurrent systems : specification /

Saved in:

Bibliographic Details
Main Authors:	Manna, Zohar (Author), Pnueli, Amir, 1941-2009 (Author)
Format:	Electronic eBook
Language:	English
Published:	New York : Springer Science+Business Media, 1992.
Subjects:	Computer programming. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Click to View
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

Click to View