Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Emma L. Clarke | Researchclopedia
Back to researchers
Emma L. Clarke
Carnegie Mellon University
ORCID
Top Works
Geophysics and Gravity Measurements
Computational Physics and Python Applications
NuSMV: A New Symbolic Model Verifier
Alessandro Cimatti
,
Emma L. Clarke
,
et al.
1999
610 citations