TITLE     : Matching models across abstraction levels with Gaussian processes
AUTHOR(S) : Caravagna G, Bortolussi L, Sanguinetti G
TYPE      : Conference article
YEAR      : 2016
CODE      : 424316

*** DO NOT EDIT THIS FILE ***