Transforming LOTOS Specifications with LOLA - The Parameterised Expansion.

Juan Quemada, Santiago Pavn, Angel Fernndez

Browse the full FORTE paper archive.