University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 7981–8010 of 14,258 items
Thumbnail for Design, Formal Modeling, and Validation of Cloud Storage   Systems using Maude
Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude
Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, José; Olveczky, Peter C.; Skeirik, Stephen

Thumbnail for Long-term Survey and Assessment of Large-River Fishes in Illinois, 2016
Long-term Survey and Assessment of Large-River Fishes in Illinois, 2016
DeBoer, Jason A.; Whitten, Andrya L.; Culver, Edward F.; Lubinski, Benjamin J.; Parker, Jerrod; Costenbader, Drew; Gibson-Reinemer, Daniel K.; Casper, Andrew F.; Cao, Yong; Chick, John H.; Epifanio, John E.