Experience using formal methods in high energy physics, pt.2

Detalles Bibliográficos
Autores principales: Balke, A C, Carter, J, Haveman, J
Lenguaje:eng
Publicado: 1995
Materias:
Detectors and Experimental Techniques
Acceso en línea:http://cds.cern.ch/record/308581

Internet

http://cds.cern.ch/record/308581

Ejemplares similares