University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1591–1620 of 3,528 items
Thumbnail for AGENDA -  ECAEC17 program
AGENDA - ECAEC17 program
Submitter: Beth Meschewski

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 Modality and Logical Form
Modality and Logical Form
Riggs, Donald Royal