View in EDS PDF Full Text

Efficient Normalization of Linear Temporal Logic.

Saved in:
Bibliographic Details
Title: Efficient Normalization of Linear Temporal Logic.
Authors: Esparza, Javier1 esparza@in.tum.de, Rubio, Rubén2 rubenrub@ucm.es, Sickert, Salomon3 salomon.sickert@mail.huji.ac.il
Source: Journal of the ACM. Apr2024, Vol. 71 Issue 2, p1-42. 42p.
Database: Mathematics Source
Description
ISSN:00045411
DOI:10.1145/3651152