University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 8221–8250 of 13,165 items
Thumbnail for Water Demand in the Middle Illinois Water Supply Planning Region, 2010-2060
Water Demand in the Middle Illinois Water Supply Planning Region, 2010-2060
Meyer, Scott C.; Dziegielewski, Benedykt; Zhang, Zhenxing; Abrams, Daniel; Kelly, Walton R.

Thumbnail for Formal Modeling and Analysis of  RAMP Transaction Systems in Maude
Formal Modeling and Analysis of RAMP Transaction Systems in Maude
Liu, Si; Olveczky, Peter C.; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José