×
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
214 views
1 Lecture 1: Model Checking Edmund Clarke School of Computer Science Carnegie Mellon University
216 views
Lecture 1: Model Checking
22 views
Muon Capture as a Probe of the Nucleon’s Axial Structure – the m Cap Experiment
36 views
A.Vorobyov on behalf of MuCap collaboration
32 views
µp & µ 3 He capture rates and Induced pseudo-scalar coupling of proton weak interaction
35 views
Peter Kammel University of Illinois at Urbana-Champaign MuCap Collaboration V.A. Andreev,
222 views
Model Checking Overview Edmund M. Clarke, Jr. School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213
214 views