Login / Signup

Proving temporal properties of hybrid systems.

Sanjai NarainJeff Rothenberg
Published in: WSC (1990)
Keyphrases