University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 3421–3450 of 11,502 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 Geologic Carbon Sequestration in the Illinois Basin: Numerical Modeling to Evaluate Potential Impacts
Geologic Carbon Sequestration in the Illinois Basin: Numerical Modeling to Evaluate Potential Impacts
Mehnert, Edward; Damico, James R.; Grigsby, Nathan P.; Monson, Charles C.; Patterson, Christopher G.; Yang, Fang