University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1291–1320 of 2,678 items
Thumbnail for Hydraulic Model Study of a Canoe Chute for Low-head Dams in Illinois (HES 63)
Hydraulic Model Study of a Canoe Chute for Low-head Dams in Illinois (HES 63)
Caisley, Marjorie E.; Bombardelli, Fabian A.; Garcia, Marcelo H.

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