Stepwise Specification of a Distributed Database System.

K. Voss

Browse the full ICDCS paper archive.