University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 631–660 of 1,448 items
Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Use of Treated Effluent Water in Cellulosic Ethanol Production
Use of Treated Effluent Water in Cellulosic Ethanol Production
Ramachandran, Divya; Singh, Vijay; Rajagopalan, Kishore; Strathmann, Timothy J.