Model-Based Validation for Internet Services.

Andrew Tjang, Fbio Oliveira, Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen

Browse the full SRDS paper archive.