Login / Signup

Rigorous System Design.

Joseph Sifakis
Published in: Found. Trends Electron. Des. Autom. (2013)
Keyphrases