University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 6481–6510 of 18,457 items
Thumbnail for Water resources of southern Illinois
Water resources of southern Illinois
Reinhardt, C.O.; Storm, Robert R.

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é