University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1681–1710 of 3,951 items
Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for IFSI Newsletter- Fall 2012
IFSI Newsletter- Fall 2012
Illinois Fire Service Institute

Thumbnail for Graduate School of Library and Information Science ... annual report. 2008
Graduate School of Library and Information Science ... annual report. 2008
Graduate School of Library and Information Science. University of Illinois at Urbana-Champaign.

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é