University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 4801–4830 of 12,680 items
Thumbnail for Recent developments in the study of hydrogen embrittlement at the University of Illinois
Recent developments in the study of hydrogen embrittlement at the University of Illinois
Sofronis, Petros; Robertson, Ian M.; Liang, Yueming; Teter, David F.; Aravas, Nikolaos

Thumbnail for Formal Modeling and Analysis of the Walter Transactional Data Store
Formal Modeling and Analysis of the Walter Transactional Data Store
Liu, Si; Olveczky, Peter C.; Wang, Qi; Meseguer, José