University of Illinois at Urbana-Champaign

Exploring Design Alternatives for Replicated RAMP Transactions Using Maude

Liang, Lei; Liu, Si

Loading…

Permalink

Description

Owning Collections