University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 8581–8610 of 15,902 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 Speaking of Windows
Speaking of Windows
Konzo, Seichi; Doyle, Carter

Thumbnail for Tack Coat Optimization for HMA Overlays: Accelerated Pavement Test Report
Tack Coat Optimization for HMA Overlays: Accelerated Pavement Test Report
Al-Qadi, Imad L.; Carpenter, Samuel H.; Leng, Zhen; Ozer, Hasan; Trepanier, James