University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2701–2730 of 4,857 items
Thumbnail for Rewriting Modulo SMT and Open System Analysis
Rewriting Modulo SMT and Open System Analysis
Rocha, Camilo; Meseguer, José; Cesar Munoz

Thumbnail for The Maule (Chile) Earthquake of February 27, 2010: Consequence Assessment and Case Studies
The Maule (Chile) Earthquake of February 27, 2010: Consequence Assessment and Case Studies
Elnashai, Amr S.; Gencturk, B.; Kwon, O.S.; Al-Qadi, Imad L.; Hashash, Y.; Roesler, Jeffery R.; Kim, S.J.; Jeong, Seong-Hoon; Dukes, J.; Valdivia, A.