University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2191–2220 of 5,826 items
Thumbnail for Vortex crystals
Vortex crystals
Aref, Hassan; Newton, Paul K.; Stremler, Mark A.; Tokieda, Tadashi; Vainchtein, Dmitri L.

Thumbnail for Formal Modeling and Analysis of  RAMP Transaction Systems in Maude
Formal Modeling and Analysis of RAMP Transaction Systems in Maude
Liu, Si; Olveczky, Peter C.; Rahman, Muntasir Raihan; Ganhotra, Jatin; Gupta, Indranil; Meseguer, José