Saeedloei, Neda.
" On the Existence of Unions of Timed Scenarios" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2024)