University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 84 items
Thumbnail for Rewriting Modulo SMT and Open System Analysis
Rewriting Modulo SMT and Open System Analysis
Rocha, Camilo; Meseguer, José; Cesar Munoz

Thumbnail for Essays on growth and development
Essays on growth and development
Saenz Munoz, Luis Felipe

Thumbnail for Twenty-second annual report of the Power Affiliates Program.
Twenty-second annual report of the Power Affiliates Program.
Chapman, Patrick L.; Gross, George; Helm, M.S.; Krein, P.T.; Hiskens, Ian; Overbye, T.J.; Pai, M.A.; Sauer, P.W.