Translating CPS with Shared-Variable Concurrency in SpaceEx.

Ran Li, Huibiao Zhu, Richard Banach

Browse the full SETTA paper archive.