TY  - RPRT
TI  - Matching models across abstraction levels with Gaussian Processes
AU  - Giulio Caravagna
AU  - Luca Bortolussi
AU  - Guido Sanguinetti
PY  - 2016
UR  - https://arxiv.org/abs/1605.02190
ID  - 1605.02190
ER  -