Multi Back-Ends for a Model Library Abstraction Layer.

Ngoc Viet Tran, Andreas Ganser, Horst Lichter

Browse the full ICCSA paper archive.