University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 631–660 of 4,496 items
Thumbnail for A New Distributed Transaction Protocol and Its Formal Analysis in Maude
A New Distributed Transaction Protocol and Its Formal Analysis in Maude
Liu, Si; Olveczky, Peter C.; Santhanam, Keshav; Wang, Qi; Gupta, Indranil; Meseguer, José

Thumbnail for Fate and Transport of Manure Estrogenic Compounds During Integrated Treatment for Water Quality and Bioenergy Production
Fate and Transport of Manure Estrogenic Compounds During Integrated Treatment for Water Quality and Bioenergy Production
Schideman, Lance; Shin, Young-Hwan; Plewa, Michael; Zhang, Peng; Scott, John; Zhang, Yuanhui