Temporal logic in specification. Proceedings of the ...

Saved in:

Bibliographic Details
Corporate Author:	IEEE Symposium on Foundations of computer of the ..
Other Authors:	Baniegbal, B, Barringer, H, Pnueli, A
Format:	Book
Published:	Berlin Springer-Verlag l989
Series:	Lecture notes in computer science v.398
Subjects:	Logic, symbolic and mathematical System design
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet