University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 991–1020 of 7,775 items
Thumbnail for Matching Logic Explained
Matching Logic Explained
Chen, Xiaohong; Lucanu, Dorel; Rosu, Grigore

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 Development of Guidelines for Implementation of Horizontal Directional Drilling
Development of Guidelines for Implementation of Horizontal Directional Drilling
Hashash, Youssef M. A.; Baltaji, Omar; Xing, Guangchao; Liang, Yongxi