Diana El Rabih

According to our database1, Diana El Rabih authored at least 2 papers between 2009 and 2011.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Steady state property verification of very large systems.
Int. J. Crit. Comput. Based Syst., 2011

2009
Statistical Model Checking Using Perfect Simulation.
Proceedings of the Automated Technology for Verification and Analysis, 2009


  Loading...