Decidability of Parameterized Verification
- 期刊名称Synthesis Lectures on Distributed Computing Theory
- 作者Bloem, Roderick; Jacobs, Swen; Khalimov, Ayrat; Konnov, Igor; Rubin, Sasha; Veith, Helmut; Widder, Josef
- 卷第6卷
- 期第1期
- 印刷ISSN2155-1626
- 电子ISSN2155-1634
- 文件大小1432.07KB
- 发表时间2015-09-29
- DOI10.2200/S00658ED1V01Y201508DCT013
- 页码1-170
Handbook of Sepsis || The Epidemiology of SepsisWiersinga, W. Joost; Seymour, Christopher W. · 2018
Erratum: Global Epidemiology of Pediatric Severe Sepsis: The Sepsis Prevalence, Outcomes, and Therapies StudyAmerican Journal of Respiratory and Critical Care Medicine · 2016
The Epidemiology of SepsisRichards, Geoffrey K. · Clinical Orthopaedics and Related Research · 1973
THE EPIDEMIOLOGY OF BACTERIAL SEPSISRangel-Frausto, M. Sigfrido · Infectious Disease Clinics of North America · 1999
Expanding the global epidemiology of sepsis*Cribbs, Sushma K.; Martin, Greg S. · Critical Care Medicine · 2007
The Epidemiology of Sepsis in Childhoodde Souza, Daniela Carla; Barreira, Eliane Roseli; Faria, Lucília Santana · SHOCK · 2017
Seasonal variation in the epidemiology of sepsisDellinger, R.P. · Yearbook of Critical Care Medicine · 2008
Intravesical Therapy of Superficial Bladder CancerMelekos, Michael; Moutzouris, George · Current Pharmaceutical Design · 2000
Cytokine Therapeutics for Infectious DiseasesRodriguez, F.; Nelson, S.; Kolls, J. · Current Pharmaceutical Design · 2000
Cytokine Therapy for CancerTagawa, M. · Current Pharmaceutical Design · 2000
Current Issues on Epileptic WomenPimentel, Jose · Current Pharmaceutical Design · 2000
Stopping Drug Therapy in EpilepsyLhatoo, S.; Sander, J.W.A.S. · Current Pharmaceutical Design · 2000
Recent Developments in Vitamin D AnalogsFogh, Karsten; Kragballe, Knud · Current Pharmaceutical Design · 2000
PrefaceTayan Ercan, Meral; Caglar, Meltem · Current Pharmaceutical Design · 2000
PrefaceOzker, Kutlan · Current Pharmaceutical Design · 2000