[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || The ComFoRT Reasoning Framework
- 作者Etessami, Kousha; Rajamani, Sriram K.
- 文件大小123.57KB
- 发表时间2005
- DOI10.1007/11513988_18
- 页码164-169
Report of the Committee on MicrobiologyDiseases of the Chest · 1957
Report on the ILSI Europe Session on Microbiological Risk Assessment held on Thursday 16th September 1999 at Veldhoven, Netherlands during Foodmicro ’99 at the 17th International Conference of the International Committee on Food Microbiology and HygieneM.F. Stringer · 2000
Antimicrobial susceptibility testing of Mycobacterium tuberculosis (EUCAST document E.DEF 8.1) − Report of the Subcommittee on Antimicrobial Susceptibility Testing of Mycobacterium tuberculosis of the European Committee for Antimicrobial Susceptibility Testing (EUCAST) of the European Society of Clinical Microbiology and Infectious Diseases (ESCMID)F. Drobniewski; S. Rüsch-Gerdes; S. Hoffner · 2007
Provoking factors in asthmaTURNERWARWICK, M · British Journal of Diseases of the Chest · 1971
TracheobronchomegalyRAHBAR, M; TABATABAI, D · British Journal of Diseases of the Chest · 1971
Cockroach asthmaBERNTON, H; THOMASF, M; BROWN, H · British Journal of Diseases of the Chest · 1972
ErrataBritish Journal of Diseases of the Chest · 1972
Pulmonary venous chemoreceptor tissueEDWARDS, C; HEATH, D · British Journal of Diseases of the Chest · 1972
Lung cancer in young adultsKENNEDY, A · British Journal of Diseases of the Chest · 1972
ErratumBritish Journal of Diseases of the Chest · 1974
Gapeworm infestation in manBASDEN, R; JACKSON, J; IDRISJONES, E · British Journal of Diseases of the Chest · 1974