University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 61–90 of 365 items
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é

Thumbnail for Refrigerant-Side Tradeoffs in Microchannel Evaporators
Refrigerant-Side Tradeoffs in Microchannel Evaporators
Kulkarni, T.; Bullard, C.W.; Cho, K.