University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2461–2490 of 8,274 items
Thumbnail for Hyperproperties in Matching Logic
Hyperproperties in Matching Logic
Tusil, Jan; Chen, Xiaohong; Rosu, Grigore

Thumbnail for The fatty acids of kephalin
The fatty acids of kephalin
Burton, Laurence Vreeland

Thumbnail for TASC: Transparent, Agnostic, Secure Channel for CBTC under Failure or Cyberattack
TASC: Transparent, Agnostic, Secure Channel for CBTC under Failure or Cyberattack
Utku Tefek; Ertem Esiner; Lin Wei; Yih-Chun Hu • 2022