University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2311–2340 of 10,517 items
Thumbnail for Faculty letter / no. 89-150
Faculty letter / no. 89-150
University of Illinois. Office of the President

Thumbnail for Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Liu, Si; Ölveczky, Peter; Zhang, Min; Wang, Qi; Meseguer, José

Thumbnail for Additional Content
Additional Content
Submitter: Howard Ding

Thumbnail for Upper Rock River area assessment
Upper Rock River area assessment
Illinois Department of Natural Resources, Office of Scientific Research; Illinois Department of Natural Resources, Illinois State Water Survey