Discrete time Markov chain families: modeling and verification of probabilistic software product lines.

Mahsa Varshosaz, Ramtin Khosravi

Browse the full SPLC paper archive.