Temporal logic of reactive and concurrent systems : specification
Title:
Temporal logic of reactive and concurrent systems : specification
Author:
Manna, Zohar, author.
ISBN:
9781461209317
Personal Author:
Physical Description:
1 online resource (427 pages) : illustrations
Local Note:
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Genre:
Added Author:
Electronic Access:
Click to View