Search
2015
with Gangle Rocco
Synthese 192/4
2010
in: Model-based reasoning in science and technology, Dordrecht : Springer