University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 7861–7890 of 16,603 items
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 Non-Darcy flow characteristics of water as influenced by clay concentration
Non-Darcy flow characteristics of water as influenced by clay concentration
Miller, Raymond J.; Overman, Allen R.; Peverly, John H.

Thumbnail for Object Modelling by Example
Object Modelling by Example
Zelinka, Stephen David