Efficient Normalization of Linear Temporal Logic

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Efficient Normalization of Linear Temporal Logic
Συγγραφείς:	Esparza, Javier, Rubio, Rubén, Sickert, Salomon
Πηγή:	Journal of the ACM. 71(2):1-42
Διαθεσιμότητα:	http://dl.acm.org/doi/10.1145/3651152
Βάση Δεδομένων:	ACM Full-Text Collection

Περιγραφή
ISSN:	00045411 1557735X
DOI:	10.1145/3651152