TAS:: 57 3600::TAS "SIMULATION-BASED MODEL CHECKING FOR NONDETERMINISTIC SYSTEMS AND RARE EVENTS"

$1,049,661FY2012Department of DefenseDOD

Carnegie Mellon University, Pittsburgh PA

Investigators