Login / Signup

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems.

Ananda BasuSaddek BensalemMarius BozgaBenoît CaillaudBenoît DelahayeAxel Legay
Published in: FMOODS/FORTE (2010)
Keyphrases