Browsing by Subject temporal logic
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 1993 | Templar: A Knowledge-Based Language for Software Specifications Using Temporal Logic | Tuzhilin, Alexander |
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 1993 | Templar: A Knowledge-Based Language for Software Specifications Using Temporal Logic | Tuzhilin, Alexander |