University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 31–52 of 52 items
Thumbnail for The Temporal Logic of Rewriting
The Temporal Logic of Rewriting
Meseguer, José

Thumbnail for Rewriting-based formal modeling, analysis and implementation of real-time distributed services
Rewriting-based formal modeling, analysis and implementation of real-time distributed services
Al-Turki, Musab A.

Thumbnail for Approximation Based Safety and Stability Verification of Hybrid Systems
Approximation Based Safety and Stability Verification of Hybrid Systems
Prabhakar, Pavithra

Thumbnail for Rewriting Logic Semantics of Orc
Rewriting Logic Semantics of Orc
AlTurki, Musab; Meseguer, José

Thumbnail for Matching Logic - Extended Report
Matching Logic - Extended Report
Rosu, Grigore; Schulte, Wolfram

Thumbnail for Matching Logic - Extended Report
Matching Logic - Extended Report
Rosu, Grigore; Schulte, Wolfram

Thumbnail for German Literary Travelogues Around the Turn of the Century, 1890-1914
German Literary Travelogues Around the Turn of the Century, 1890-1914
Bogosavljevic, Srdan

Thumbnail for A meta-language for functional verification
A meta-language for functional verification
Katelman, Michael

Thumbnail for Biological Mimics: A New Paradigm in the Detection of Toxic Compounds
Biological Mimics: A New Paradigm in the Detection of Toxic Compounds
Monty, Chelsea Nicole

Thumbnail for Sports, Mass Mobilization, and the Everyday Culture of Socialism in East Germany
Sports, Mass Mobilization, and the Everyday Culture of Socialism in East Germany
Johnson, Molly Wilkinson

Thumbnail for A modular rewriting approach to language design, evolution and analysis
A modular rewriting approach to language design, evolution and analysis
Hills, Mark

Thumbnail for A Modular Rewriting Approach to Language Design, Evolution and Analysis
A Modular Rewriting Approach to Language Design, Evolution and Analysis
Hills, Mark

Thumbnail for Toward language-independent program verification
Toward language-independent program verification
Ștefănescu, Andrei

Thumbnail for A formal semantics of C with applications
A formal semantics of C with applications
Ellison, Charles

Thumbnail for Efficient, expressive, and effective runtime verification
Efficient, expressive, and effective runtime verification
Meredith, Patrick

Thumbnail for Rewriting-based model checking methods
Rewriting-based model checking methods
Bae, Kyungmin

Thumbnail for Commencement program. 1916/29
Commencement program. 1916/29
University of Illinois at Urbana-Champaign

Thumbnail for The Summary of Engineering Research 2008
The Summary of Engineering Research 2008
University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for The Summary of Engineering Research 2007
The Summary of Engineering Research 2007
University of Illinois at Urbana-Champaign. College of Engineering

Thumbnail for Annual register. 1927-28
Annual register. 1927-28
University of Illinois at Urbana-Champaign

Thumbnail for Annual register. 1926-27
Annual register. 1926-27
University of Illinois at Urbana-Champaign

Thumbnail for The semi-centennial alumni record of the University of Illinois
The semi-centennial alumni record of the University of Illinois
Scott, Frank William