Login / Signup

Modeling synchronous systems in BIP.

Marius BozgaVassiliki SfyrlaJoseph Sifakis
Published in: EMSOFT (2009)
Keyphrases