University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 6211–6240 of 10,472 items
Thumbnail for Taxing hazardous wastes
Taxing hazardous wastes
Costello, Kenneth W.; Rainson, Felicia

Thumbnail for Hyperproperties in Matching Logic
Hyperproperties in Matching Logic
Tusil, Jan; Chen, Xiaohong; Rosu, Grigore