Login / Signup

Weak Refinement for Modal Hybrid Systems.

Carsten WeiseDirk Lenzkes
Published in: HART (1997)
Keyphrases