Steady state property verification of very large systems
Rabih, Diana El, Gorgo, Gael, Pekergin, Nihal, Vincent, Jean MarcVolume:
2
Year:
2011
Language:
english
Journal:
International Journal of Critical Computer-Based Systems
DOI:
10.1504/ijccbs.2011.042331
File:
PDF, 505 KB
english, 2011