University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 9871–9900 of 38,020 items
Thumbnail for Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis
Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis
Liu, Si; Olveczky, Peter C.; Wang, Qi; Gupta, Indranil; Meseguer, José

Thumbnail for Watershed-Specific Release Rate Analysis: Cook County, Illinois
Watershed-Specific Release Rate Analysis: Cook County, Illinois
Flegel, Amanda; Byard, Gregory; McConkey, Sally; Hanstad, Christopher; Gaynor, Nicole; Zaloudek, Zoe