Synchronizing words under LTL constraints

Autor:	Nathalie Bertrand, Hugo Francon, Nicolas Markey
Rok vydání:	2023
Předmět:	Signal Processing Computer Science Applications Information Systems Theoretical Computer Science
Zdroj:	Information Processing Letters. 182:106392
ISSN:	0020-0190
DOI:	10.1016/j.ipl.2023.106392
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::a1292d25af64995b49a3d9c49ead9770 https://doi.org/10.1016/j.ipl.2023.106392 Zobrazit plný text záznamu Full Text from ScienceDirect