Statistical Model Checking Using Perfect Simulation. - Diana El Rabih; Nihal Pekergin (ATVA, 2009)

Steady state property verification of very large systems. - Diana El Rabih; Gaël Gorgo; Nihal Pekergin; Jean-Marc Vincent (Int. J. Crit. Comput. Based Syst., 2011)