Login / Signup

A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations.

Roberto BarbutiPasquale BoveAndrea Maggiolo-SchettiniPaolo MilazzoGiovanni Pardini
Published in: SEFM Workshops (2013)
Keyphrases
  • formal model
  • formal models
  • predicate calculus
  • data sets
  • neural network
  • phylogenetic trees
  • water supply