University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 4501–4530 of 10,428 items
Thumbnail for Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Liu, Si; Ölveczky, Peter; Zhang, Min; Wang, Qi; 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