Static data-flow analysis of synchronous programs.

Jens Brandt, Klaus Schneider

Browse the full MEMOCODE paper archive.