Login / Signup

Achieving Distributed Control through Model Checking.

Susanne GrafDoron A. PeledSophie Quinton
Published in: CAV (2010)
Keyphrases