University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3841–3870 of 9,518 items
Thumbnail for Design, Formal Modeling, and Validation of Cloud Storage   Systems using Maude
Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude
Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, José; Olveczky, Peter C.; Skeirik, Stephen

Thumbnail for Parametric and Sliced Causality
Parametric and Sliced Causality
Chen, Feng; Rosu, Grigore

Thumbnail for Chemical Oxidation for Arsenic Removal
Chemical Oxidation for Arsenic Removal
Holm, Thomas R.; Wilson, Steven D.