University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1081–1110 of 4,186 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 What makes control coercive?
What makes control coercive?
Crossman, Kimberly A

Thumbnail for Inorganic seminar abstracts. 1947-48
Inorganic seminar abstracts. 1947-48
University of Illinois at Urbana-Champaign. Deptartment of Chemistry