SCEst: Sequentially constructive esterel.

Karsten Rathlev, Steven Smyth, Christian Motika, Reinhard von Hanxleden, Michael Mendler

Browse the full MEMOCODE paper archive.