Model-Based Validation for Internet Services (2009)

by A Tjang, F Oliveira, R Bianchini, R P Martin, T D Nguyen
Venue:In Proc. 28th IEEE Intl. Symp. on Reliable Distributed Systems