University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1891–1920 of 9,210 items
Thumbnail for Front Matter
Front Matter
Submitter: Howard Ding

Thumbnail for Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Liu, Si; Ölveczky, Peter; Zhang, Min; Wang, Qi; Meseguer, José

Thumbnail for access: v.22, no.02, Summer 2009
access: v.22, no.02, Summer 2009
National Center for Supercomputing Applications (NCSA)