Derivation of Useful Execution Trees from LOTOS by using an Interpreter.

Renaud Guillemot, Luigi Logrippo

Browse the full FORTE paper archive.