University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3691–3720 of 7,311 items
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 GSLIS Alumni Newsletter 2007
GSLIS Alumni Newsletter 2007
Graduate School of Library and Information Science. University of Illinois at Urbana-Champaign.