Fingerprint
Dive into the research topics of 'A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems
RJ Boulton, R Hardy, Ursula Hilda Mary Martin, O Maler (Editor), A Pnueli (Editor)
Research output: Other contribution