ASYNCHRONOUS COMPOSITION OF LTL PROPERTIES OVER INFINITE AND FINITE TRACES.
Saved in:
| Title: | ASYNCHRONOUS COMPOSITION OF LTL PROPERTIES OVER INFINITE AND FINITE TRACES. |
|---|---|
| Authors: | BOMBARDELLI, ALBERTO1,2, abombardelli@fbk.eualberto.bombardell-1@unitn.it, ΤΟΝΕΤΤΑ, STEFANΟ1, tonettas@fbk.eu |
| Source: | Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p11:1-11:32, 32p |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.46298/LMCS-22(1:11)2026 |
