The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Details
- OL Work ID
- OL3745401W
Subjects
Computer programmingSymbolic and mathematical LogicElectronic digital computers, programmingLogic, symbolic and mathematical