Transformation from LOTOS Specifications to Galileo Nets.

Saturnino Marchena Rodriguez, Gonzalo Len

Browse the full FORTE paper archive.