Items where authors include "Carvalho, G."

Article

Hosegood, J., Humble, E., Ogden, R. et al. (21 more authors) (2020) Phylogenomics and species delimitation for effective conservation of manta and devil rays. Molecular Ecology, 29 (24). pp. 4783-4796. ISSN 0962-1083

Carvalho, G., Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 and Sampaio, A. C. A. (2016) Modelling Timed Reactive Systems from Natural-Language Requirements. Formal Aspects of Computing. pp. 725-765. ISSN 1433-299X