Current Data About
temporal logic
other details
| description | system for representing and reasoning about time |
External Links