University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 61–90 of 703 items
Thumbnail for Incremental State Space Exploration in J-Sim
Incremental State Space Exploration in J-Sim
Sobeih, Ahmed A.; Lauterburg, Steven

Thumbnail for LAS: Aquatic Toxicity and Biodegradation
LAS: Aquatic Toxicity and Biodegradation
Morrow, Debra; Piwoni, Marvin D.

Thumbnail for On Statistical Model Checking of Stochastic Systems
On Statistical Model Checking of Stochastic Systems
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul A.

Thumbnail for Optimized Execution of Deterministic Blocks in Java PathFinder
Optimized Execution of Deterministic Blocks in Java PathFinder
d'Amorim, Marcelo; Sobeih, Ahmed A.; Marinov, Darko