University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 7531–7560 of 12,687 items
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é

Thumbnail for access: v.17, no.01, Spring 2004
access: v.17, no.01, Spring 2004
National Center for Supercomputing Applications (NCSA)

Thumbnail for Microbial enhancement of oil production from carbonate reservoirs : final report for the period January 1990-May 1991
Microbial enhancement of oil production from carbonate reservoirs : final report for the period January 1990-May 1991
Tanner, Ralph S.; Udegbunam, Emmanuel O.; McInerney, Michael J.; Knapp, Roy M.; Adkins, Jon P.