Analysing Product Lines of Concurrent Systems with Coloured Petri Nets.

Elena Gmez-Martnez, Esther Guerra, Juan de Lara

Browse the full SEKE paper archive.