Login / Signup
Diana El Rabih
Publication Activity (10 Years)
Years Active: 2009-2011
Publications (10 Years): 0
</>
Publications
</>
Diana El Rabih
,
Gaël Gorgo
,
Nihal Pekergin
,
Jean-Marc Vincent
Steady state property verification of very large systems.
Int. J. Crit. Comput. Based Syst.
2 (3/4) (2011)
Diana El Rabih
,
Nihal Pekergin
Statistical Model Checking Using Perfect Simulation.
ATVA
(2009)