[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7041 || Context-Bounded Model Checking of LTL Properties for ANSI-C Software
- 作者Barthe, Gilles; Pardo, Alberto; Schneider, Gerardo
- 文件大小271.02KB
- 发表时间2011
- DOI10.1007/978-3-642-24690-6_21
- 页码302-317
Bioactive Food as Dietary Interventions for Liver and Gastrointestinal Disease || Dietary Bioactive Functional Polyphenols in Chronic Lung DiseasesBiswas, S. · 2013
Bioactive Food as Dietary Interventions for Liver and Gastrointestinal Disease || CarotenoidsSugiura, M. · 2013
Bioactive Food as Dietary Interventions for Liver and Gastrointestinal Disease || Bioactive Foods and Supplements for Protection against Liver DiseasesShukla, S.K. · 2013
Bioactive Food as Dietary Interventions for Diabetes || Dietary Manipulations for Nonalcoholic Fatty Liver Disease (NAFLD)Cheah, Mark C.C. · 2019
Bioactive Food as Dietary Interventions for Liver and Gastrointestinal Disease || Biochemical Mechanisms of Fatty Liver and Bioactive FoodsSharma, R. · 2013
Bioactive Food as Dietary Interventions for Liver and Gastrointestinal Disease || Biochemical Mechanisms of Fatty Liver and Bioactive FoodsSharma, R. · 2013
Bioactive Food as Dietary Interventions for Liver and Gastrointestinal Disease || Gastroprotective Effects of Bioactive FoodsDey, M. · 2013
Bioactive Food as Dietary Interventions for Liver and Gastrointestinal Disease || Nutrition, Dietary Fibers, and CholelithiasisSharma, R. · 2013
Contemporary classification of histiocytic disordersFavara, Blaise E.; Feller, Alfred C.; Pauli, Macro; Jaffe, Elaine S.; Weiss, Lawrence M.; Arico, Maurizio; Bucsky, Peter; Egeler, R. Maarten; Elinder, Goran; Gadner, Helmut; Gresik, Mary; Henter, Jan-Inge; Imashuku, Shinsaku; Janka-Schaub, Gritta; Jaffe, Ron; Ladisch, Stephan; Nezelof, Christian; Pritchard, Jon · Medical and Pediatric Oncology · 1997
Spacecraft techniques for lunar researchL. D. Jaffe; R. Choate; R. B. Coryell · 1972
Unconfined quarks and gluonsDe Rújula, A.; Giles, R. C.; Jaffe, R. L. · Physical Review D · 1978
Biologically Active Chorionic GonadotropinMCGREGOR, W. G.; KUHN, R. W.; JAFFE, R. B. · Obstetrical & Gynecological Survey · 1983
Evaluation of polymeric coatings for MCM applicationsR. Kodnani; D. Jaffe; R. Jaccodine · 1995
Lunar surface mechanical propertiesChoate, R.; Batterson, S. A.; Christensen, E. M.; Hutton, R. E.; Jaffe, L. D.; Jones, R. H.; Ko, H. Y.; Spencer, R. L.; Sperling, F. B. · Journal of Geophysical Research · 1969
Bronchiectasis: A cause of infantile lobar emphysemaR. Shafir; R. Jaffe; Y. Kalter · 1976
Lunar surface mechanical propertiesChristensen, E. M.; Batterson, S. A.; Benson, H. E.; Choate, R.; Hutton, R. E.; Jaffe, L. D.; Jones, R. H.; Ko, H. Y.; Schmidt, F. N.; Scott, R. F.; Spencer, R. L.; Sutton, G. H. · Journal of Geophysical Research · 1968