University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 421–450 of 13,545 items
Thumbnail for Proceedings: third Sanitary Engineering Conference: disinfection and chemical oxidation in water and waste treatment
Proceedings: third Sanitary Engineering Conference: disinfection and chemical oxidation in water and waste treatment
Illinois State Department of Public Health Division of Sanitary Engineering and the University of Illinois Department of Civil Engineering

Thumbnail for Model-checking Parameterized Concurrent Programs using Linear Interfaces
Model-checking Parameterized Concurrent Programs using Linear Interfaces
Madhusudan, P. Parthasarathy; La Torre, Salvatore; Parlato, Gennaro