Academic Journal
Efficient Normalization of Linear Temporal Logic
| Title: | Efficient Normalization of Linear Temporal Logic |
|---|---|
| Authors: | Esparza, Javier, Rubio, Rubén, Sickert, Salomon |
| Source: | Journal of the ACM. 71(2):1-42 |
| Availability: | http://dl.acm.org/doi/10.1145/3651152 |
| Database: | ACM Full-Text Collection |
Be the first to leave a comment!