FORMAL VERIFICATION OF PARALLEL PROGRAMS

doi:10.1145/360248.360251

1976-07-01

403

KELLER, RM

DOI：10.1145/360248.360251

原文链接

查看原文

摘要

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Communications of the ACM

IF:

12.2

论文数:

1.2W

被引数:

3.7W

机构

暂无机构信息

引用论文

Catalytic metal-gate field effect transistors based on SiC for indoor air quality control

Journal of Sensors and Sensor Systems

IF0

2015-01-06

OAAI

D. Puglisi; J. Eriksson; C. Bur; A. Schuetze; A. Lloyd Spetz; M. Andersson

The Kinetic Response of the Proteome in A549 Cells Exposed to ZnSO4 Stress

PLOS ONE

IF0

2015-07-21

OAAI

Wen-jie Zhao; Qun Song; Zi-jin Zhang; Li Mao; Wei-juan Zheng; Xin Hu; Hong-zhen Lian

Influence of Flow and Temperature on Survival of Wild Subyearling Fall Chinook Salmon in the Snake River 流量和温度对蛇河野生一岁秋季奇努克鲑鱼生存的影响

North American Journal of Fisheries Management

IF0

2003-05-01

PREAI

William P. Connor; Howard L. Burge; John R. Yearsley; Theodore C. Bjornn

Radiation damage and photochromism in the alkaline earth fluorides

Journal of Physics C: Solid State Physics

IF0

2001-02-01

PREAI

C R A Catlow

Characterization of the [FeFe]-Hydrogenase Maturation Protein HydF by EPR Techniques: Insights into the Catalytic Mechanism

Topics in Catalysis

IF0

2015-07-30

PREAI

Marco Albertini; Laura Galazzo; Lorenzo Maso; Francesca Vallese; Paola Berto; Edith De Rosa; Marilena Di Valentin; Paola Costantini; Donatella Carbonera

SYNCHRONIZATION OF COMMUNICATING PROCESSES

COMMUNICATIONS OF THE ACM

IF12.2

1972-03-01

OAAI

HABERMANN, AN

PREVENTION OF SYSTEM DEADLOCKS

COMMUNICATIONS OF THE ACM

IF12.2

1969-07-01

136

OAAI

HABERMANN, AN

Chirality of small niobium clusters

The European Physical Journal D

IF0

2021-01-12

PREAI

D. C. Navarro-Ibarra; R. A. Guirado-López

CONCURRENT CONTROL WITH READERS AND WRITERS

COMMUNICATIONS OF THE ACM

IF12.2

1971-10-01

269

OAAI

COURTOIS, PJ; HEYMANS, F; PARNAS, DL

IF0

PREAI

没有更多内容