University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 4501–4530 of 22,153 items
Thumbnail for access: v.25, no.01, Spring 2012
access: v.25, no.01, Spring 2012
National Center for Supercomputing Applications (NCSA)

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 Veterinary report
Veterinary report
University of Illinois. College of Veterinary Medicine