CTL* Model Checking on a Shared-Memory Architecture
- 作者Cornelia P. Inggs; Howard Barringer
- 卷第128卷
- 期第3期
- 印刷ISSN1571-0661
- 文件大小302.92KB
- 发表时间2005
- DOI10.1016/j.entcs.2004.10.022
- 页码107-123
New modified alkyd compositionsM. Moustafa; A. M. Ramadan; I. A. Sabbah; M. A. Moustafa · 1987
Serum protein-bound carbohydrate and seromucoid in pill usersMoustafa A. Aboul Einin; Moustafa A. El-Habashy; Noaman A. Sallam; Fawzia M. Saleh; Fayez K. Guirgis · 1973
Fungal population in the atmosphere of Ismailia CityOmar A. Abdul Wahid; Abdul Wahid F. Moustafa; Amal M. Moustafa · 1996
Fungal population in the atmosphere of Ismailia CityOmar A. Abdul Wahid; Abdul Wahid F. Moustafa; Amal M. Moustafa · 1996
Synthesis of mordenite zeolite in absence of organic templateHisham M. Aly; Moustafa E. Moustafa; Ehab A. Abdelrahman · 2012
Growth and Survival of Yersinia enterocolitica in YogurtAHMED, AHMED A-H.; MOUSTAFA, MOUSTAFA K.; EL-BASSIONY, TAWFIK A. · Journal of Food Protection · 1986
Vaginal administration of a combined oral contraceptive containing norethisterone acetateAbdel Razak Souka; Moustafa Kamel; Moustafa A. Einen; Fawzia Saleh; Hassan Sallam · 1985
Post-renal transplant monitoring: The value of biological assaysM.A. Bakr; A. Moustafa; T. El-Diasty; F. Moustafa; M.A. Ghoneim · 1997
Issue InformationEuropean Journal of Cancer Care · 2013
Scientific Programme – Proffered PapersEuropean Journal of Cancer · 2013
Table of ContentsEuropean Journal of Cancer · 2013
Editorial BoardEuropean Journal of Cancer · 2013
Presidential SessionsEuropean Journal of Cancer · 2013
Proffered Papers SessionsEuropean Journal of Cancer · 2013
Subject IndexEuropean Journal of Cancer · 2013
Scientific Programme – DetailsEuropean Journal of Cancer · 2012