University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 8641–8670 of 14,365 items
Thumbnail for Modular Verification of Protocol Equivalence in the Presence of Randomness
Modular Verification of Protocol Equivalence in the Presence of Randomness
Bauer, Matthew S; Chadha, Rohit; Viswanathan, Mahesh

Thumbnail for Interactive Basinwide Model for Instream Flow and Aquatic Habitat Assessment
Interactive Basinwide Model for Instream Flow and Aquatic Habitat Assessment
Singh, Krishan P.; Broeren, Sally McConkey; King, Robin B.