Diagnosis of Rickettsial Infections in Swedish Patients: Detection of Specific IgM
- 期刊名称European Journal of Epidemiology
- 作者S. L. Vene
- 卷第5卷
- 期第4期
- 印刷ISSN0393-2990
- 电子ISSN1573-7284
- 文件大小466.96KB
- 发表时间1989-12
- DOI10.2307/3521425
- 页码436-437
同作者推荐
Propositional dynamic logic of nonregular programsDavid Harel; Amir Pnueli; Jonathan Stavi · 1983
PrefaceAmir Pnueli; Joseph Sifakis · 1995
Reduced Functional Consistency of Uninterpreted FunctionsAmir Pnueli; Ofer Strichman · 2006
Monitoring Interfaces for FaultsAmir Pnueli; Aleksandr Zaks; Lenore Zuck · 2006
A compositional approach to verificationYonit Kesten; Amir Pnueli · 2005
A proof method for cyclic programsNissim Francez; Amir Pnueli · 1978
Backtracking in recursive computationsNissim Francez; Boris Klebansky; Amir Pnueli · 1977
Models for reactivityZohar Manna; Amir Pnueli · 1993