Deriving Mode Invariants from SCR Specifications.

Zhenyi Jin

Browse the full ICECCS paper archive.