University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 9721–9750 of 32,344 items
Thumbnail for Evaluation of Zero Blowdown Cooling Towers with Soft Water Makeup
Evaluation of Zero Blowdown Cooling Towers with Soft Water Makeup
Curtiss, Charles; Overmann, Jeremy; Miller, Matthew

Thumbnail for Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Liu, Si; Sandur, Atul; Meseguer, Jose; Ölveczky, Peter; Wang, Qi