María Teresa Signes Pont, Joan Boters Pitarch, José Juan Cortés-Plana, Higinio Mora Mora. A Formal Approach to Model Natural Phe-nomena. In Álvaro Rocha 0001, Hojjat Adeli, Gintautas Dzemyda, Fernando Moreira, Valentina Colla, editors, Information Systems and Technologies - WorldCIST 2023, Volume 4, Pisa, Italy, April 4-6, 2023. Volume 802 of Lecture Notes in Networks and Systems, pages 411-420, Springer, 2023. [doi]
Abstract is missing.