University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 421–450 of 2,729 items
Thumbnail for Modular Verification of Protocol Equivalence in the Presence of Randomness
Modular Verification of Protocol Equivalence in the Presence of Randomness
Bauer, Matthew S; Chadha, Rohit; Viswanathan, Mahesh

Thumbnail for Recent Publications
Recent Publications
Submitter: Howard Ding

Thumbnail for Annual register. 1929-30
Annual register. 1929-30
University of Illinois at Urbana-Champaign

Thumbnail for News from the Field
News from the Field
Submitter: Howard Ding

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

Thumbnail for Annual register. 1923-24
Annual register. 1923-24
University of Illinois at Urbana-Champaign