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