University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1171–1200 of 28,634 items
Thumbnail for Model-Checking Markov Chains in the presence of Uncertainties
Model-Checking Markov Chains in the presence of Uncertainties
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A.

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