skip to main content
Lingue:
Cerca la mia strategia di ricerca: Mostra risultati con: Mostra risultati con:

On the distributivity of LTL specifications

Samer, Marko ; Veith, Helmut

ACM Transactions on Computational Logic (TOCL), 2010-05-01, Vol.11 (3), p.1-26 [Rivista Peer Reviewed]

Fulltext non disponibile

Citazioni Citato da

Ricerca in corso nelle risorse remote ...