Modelling and verification analysis of a two species ecosystem via a first order logic approach

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Modelling and verification analysis of a two species ecosystem via a first order logic approach'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science