University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 98 items
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

Thumbnail for John Cage's HPSCHD
John Cage's HPSCHD
Heimbecker, Sara J.

Thumbnail for Probabilistic Büchi Automata for LTL\GU
Probabilistic Büchi Automata for LTL\GU
Kini, Dileep; Viswanathan, Mahesh

Thumbnail for Commencement program. 1952-56
Commencement program. 1952-56
University of Illinois at Urbana-Champaign

Thumbnail for GSLIS Alumni Newsletter Spring 2012
GSLIS Alumni Newsletter Spring 2012
Graduate School of Library and Information Science. University of Illinois at Urbana-Champaign.