[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Experiments in Verifying Low Level Concurrent C Code
- 作者Schulte, Wolfram
- 文件大小89.70KB
- 发表时间2007
- DOI10.1109/iceccs.2007.22
- 页码299-299
Book reviewsBarry Barber; P. J. Bourdillon; A. V. Stockley; Mark J. Monashan; G. A. W. West; J. C. Greenleaf; D. G. Jameson; D. W. Hill · 1984
Fluctuation-driven transport in the DIII-D boundaryD. L. Rudakov; J. A. Boedo; R. A. Moyer; S. Krasheninnikov; A. W. Leonard; M. A. Mahdavi; G. R. Mckee; G. D. Porter; P. C. Stangeby; J. G. Watkins; W. P. West; D. G. Whyte; G. Antar · 2002
A Contribution to the Freshwater Algae of the South of EnglandWEST, W.; WEST, G. S.; BENNETT, A. W.; BENNETT, A. W. · Journal of the Royal Microscopical Society · 1897
Irish Society Of Gastroenterology 21st Anniversary Year Meeting, November 1983G. P. McEntee; R. Ruddy; S. J. Heffernan; W. O. Kirwan; C. T. Doyle; Fiona M. Stevens; M. O’Riordan; John S. A. Collins; Kenneth G. Porter; D. Kelleher; E. Cryan; M. Flanagan; D. G. Weir; J. Kelly; C. O’Farrelly; C. O’Mahony; A. Thompson; J. P. Rees; C. Feighery; Una McKeever; E. Lawlor; A. Brian West; Daniel G. Sheahan; Cliona Maguire; Bryan Tighe; N. J. O’Higgins; C. F. Harvey; J. M. Hood; J. R. Anderson; B. G. Wilson; T. G. Parks; T. Lyons; R. Brougham; B. West; D. S. O’Briain; F. Falkiner; P. W. N. Keeling; C. Keane; P. Fitzgerald; N. Moss; M. J. Whelton; G. I. Unit; P. C. H. Watt; C. C. Patterson; T. L. Kennedy; M. C. Anderson; P. V. Delaney; D. Gilmartin; M. Rhatigan; J. Duggan; D. H. Osborne; T. N. Walsh; D. Alderson; J. R. Farndon; I. D. A. Johnston; F. Given; P. V. Flanagan; N. O’Higgins; K. F. McGeeney; P. M. Naughton; J. P. Duignan; B. Morrissey; E. O’Malley; B. J. Collins; R. J. McFarland; J. Sloan; A. H. G. Love; R. A. J. Spense; G. W. Johnston; G. W. Odling-Smee; J. W. Walters; C. F. McCarthy · Irish Journal of Medical Science (1971 -) · 1985
ReviewsFieldhouse, D. K.; Spence, J. E.; Bennett, George; Wilson, H. S.; Rose, Saul; West, Katharine; Ward, Russel; Rosecrance, R. N.; Ferns, H. S.; Reese, Trevor R.; Pakeman, S. A.; Hargreaves, John D.; Gray, Hugh; Madden, A. F. McC.; Low, D. A.; Lyon, Peter; Somjee, A. H.; Islam, Nurul; Zaidi, Z. H.; Gullick, John; West, Feancis; Post, K. W. J.; Choudhury, G. W.; Hancock, W. K.; Will, H. A.; Whiteley, W. H. · Journal of Commonwealth Political Studies · 1965
Pharmaceuticals and fine chemicalsHenderson, A. D.; Tillman, J.; Chadwick, N.; Currell, B. R.; James, J. W.; Marr, J. G. D.; Clark, B. J.; Fell, A. F.; Martin-Smith, Michael; Rudd, David R.; West, A. J.; Farrow, R. N. P.; Lewis, G. F. · Analytical Proceedings · 1988
Mitochondrial transcription factor A (TFAM) shapes metabolic and invasion gene signatures in melanomaAraujo, L. F.; Siena, A. D. D.; Plaça, J. R.; Brotto, D. B.; Barros, I. I.; Muys, B. R.; Biagi, C. A. O.; Peronni, K. C.; Sousa, J. F.; Molfetta, G. A.; West, L. C.; West, A. P.; Leopoldino, A. M.; Espreafico, E. M.; Silva, W. A. · Scientific Reports · 2018
Research topics in Analytical ChemistrySheikh, R. A.; Jones, P.; Nickless, G.; Mounce, R. P.; Dagnall, R. M.; Sharp, B. L.; West, T. S.; Gifford, L. A.; Murray, G. T.; Leonard, M. A.; Greenhow, E. J.; Hargitt, R.; Porter, S. R.; Jennings, V. J.; Dodson, A.; Ogleby, J. W.; King, A. F.; West, T. S.; Eccles, H.; Vernon, F.; Ashy, M. A. · Proceedings of the Society for Analytical Chemistry · 1973
Charge transport in magnetronsRossnagel, S. M. · Journal of Vacuum Science & Technology A: Vacuum, Surfaces, and Films · 1987
Biomolecules and surfacesRatner, Buddy D. · Journal of Vacuum Science & Technology A: Vacuum, Surfaces, and Films · 1990
Studies in differential chargingBarr, Tery L. · Journal of Vacuum Science & Technology A: Vacuum, Surfaces, and Films · 1989
Material selection for hard coatingsHolleck, H. · Journal of Vacuum Science & Technology A: Vacuum, Surfaces, and Films · 1986
Hollow cathode magnetronWang, Zhehui; Cohen, Samuel A. · Journal of Vacuum Science & Technology A: Vacuum, Surfaces, and Films · 1999
Nanostructured materials for supercapacitorsMeyyappan, M. · Journal of Vacuum Science & Technology A: Vacuum, Surfaces, and Films · 2013
Design of functional coatingsHegemann, D.; Oehr, C.; Fischer, A. · Journal of Vacuum Science & Technology A: Vacuum, Surfaces, and Films · 2005
Depth profile optimizationNaumkin, A. V. · Journal of Vacuum Science & Technology A: Vacuum, Surfaces, and Films · 1994