Saeedloei, N.
2024 dez  4.  On the Existence of Unions of Timed Scenarios. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :