A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency.

Ran Li, Huibiao Zhu, Richard Banach

Browse the full ICFEM paper archive.