Efficient verification of performability guarantees (2001)

by Guillermo A Alvarez, Mustafa Uysal, Arif Merchant
Venue:International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5