Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec.

Jos A. Maas, Joaqun Salvacha, Toms de Miguel

Browse the full FORTE paper archive.