Login / Signup

Formal Analysis of Linear Control Systems Using Theorem Proving.

Adnan RashidOsman Hasan
Published in: ICFEM (2017)
Keyphrases