Formal Support for QVT-Relations with Coloured Petri Nets.

Juan de Lara, Esther Guerra

Browse the full MODELS paper archive.