University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 241–270 of 4,639 items
Thumbnail for Automatic Generation of CINNI Instances for the Maude System
Automatic Generation of CINNI Instances for the Maude System
Eckhardt, Jonas; Muelbauer, Tobias; Meseguer, José

Thumbnail for 2023 Cybersecurity TTP Workshop: Technology Transition Pathways
2023 Cybersecurity TTP Workshop: Technology Transition Pathways
Beverly, Robert; Thompson, Kevin; Wang, Cliff • 2023

Thumbnail for Data Management: File Systems, Databases, and Metadata
Data Management: File Systems, Databases, and Metadata
Baker, Karen S.; Troxell-Thomas, Christy A.; Pooler, William G.

Thumbnail for Strand Spaces with Choice via a Process Algebra Semantics
Strand Spaces with Choice via a Process Algebra Semantics
Yang, Fan; Escobar, Santiago; Meadows, Catherine; Meseguer, José; Santiago, Sonia