受强制性开放获取政策约束的文章 - Laetitia Laversa了解详情
可在其他位置公开访问的文章：2 篇
A unifying framework for deciding synchronizability
B Bollig, C Di Giusto, A Finkel, L Laversa, E Lozes, A Suresh
CONCUR 2021-32nd International Conference on Concurrency Theory, 1-33, 2021
强制性开放获取政策： Agence Nationale de la Recherche
Execution-time opacity control for timed automata
É André, M Duflot, L Laversa, E Lefaucheux
International Conference on Software Engineering and Formal Methods, 347-365, 2024
强制性开放获取政策： Agence Nationale de la Recherche
出版信息和资助信息由计算机程序自动确定