Computational Aspects of model-based reasoning

2017

Gordana Dodig-Crnkovic, Antonio Cicchetti

in: Springer handbook of model-based science, Berlin,