University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 121–150 of 703 items
Thumbnail for Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis
Read Atomic Transactions with Prevention of Lost Updates: ROLA and its Formal Analysis
Liu, Si; Olveczky, Peter C.; Wang, Qi; Gupta, Indranil; Meseguer, José

Thumbnail for Biomarker Magazine Winter 2016, vol. 10
Biomarker Magazine Winter 2016, vol. 10
University of Illinois. Carl R. Woese Institute for Genomic Biology. Communications Department

Thumbnail for Formal semantics of hybrid automata
Formal semantics of hybrid automata
Saxena, Manasvi; Chen, Xiaohong; Rodrigues, Nishant; Rosu, Grigore