LTSs for translation validation of (multi-clocked) SIGNAL specifications.

Julio C. Peralta, Thierry Gautier, Loc Besnard, Paul Le Guernic

Browse the full MEMOCODE paper archive.