xeLTL: Extending eLTL with variables

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Laura Panizo, María del Mar

Journal publisher: Biblioteca Digital de Sistedes

Published year: 2023