Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement.

Colin Paterson, Radu Calinescu

Browse the full ICSA paper archive.