×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [gp p]
Grand Challenge Problem: Model Check Concurrent Software Edmund M. Clarke Department of Computer Science Carnegie Mellon University
213 views
Lecture 1: Model Checking
20 views
Muon Capture as a Probe of the Nucleon’s Axial Structure – the m Cap Experiment
35 views
A.Vorobyov on behalf of MuCap collaboration
30 views
Peter Kammel University of Illinois at Urbana-Champaign MuCap Collaboration V.A. Andreev,
221 views
Model Checking Overview Edmund M. Clarke, Jr. School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
213 views
1 Lecture 1: Model Checking Edmund Clarke School of Computer Science Carnegie Mellon University
215 views
µp & µ 3 He capture rates and Induced pseudo-scalar coupling of proton weak interaction
30 views