University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 961–990 of 1,854 items
Thumbnail for Fox Chain of Lakes Investigation and Water Quality Management Plan
Fox Chain of Lakes Investigation and Water Quality Management Plan
Kothandaraman, Veerasamy; Evans, Ralph L.; Bhowmik, Nani G.; Stall, John B.; Gross, David L.; Lineback, Jerry Alvin; Dreher, Gary B.

Thumbnail for Synchronous AADL and its Formal Analysis in Real-Time Maude
Synchronous AADL and its Formal Analysis in Real-Time Maude
Bae, Kyungmin; Olveczky, Peter C.; Al-Nayeem, Abdullah; Meseguer, José