Building Dependable Distributed Applications Using AQUA

Jennifer Ren, Michel Cukier, Paul Rubel, William H. Sanders, David E. Bakken, David A. Karr. Building Dependable Distributed Applications Using AQUA. In 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE 99), 17-19 November 1999, Washington, D.C, USA, Proceedings. pages 189-196, IEEE Computer Society, 1999. [doi]

Abstract

Abstract is missing.