Interactive verification of synchronous systems.

Manuel Gesell, Klaus Schneider

Browse the full MEMOCODE paper archive.