[IEEE 2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012) - Arlington, VA, USA (2012.07.16-2012.07.17)] Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) - Direct generation of invariants for reactive models
- 作者Leonard, Elizabeth I.; Archer, Myla M.; Heitmeyer, Constance L.; Jeffords, Ralph D.
- 文件大小409.63KB
- 发表时间2012
- DOI10.1109/memcod.2012.6292308
- 页码119-130
From Field and StudyCharles G. Sibley, Harold E. Broadbooks, William H. Sholes, Jr., I. McT. Cowan, Walter P. Taylor, Clarence Cottam, James G. Peterson, Charles W. Quaintance, Randolph L. Peterson, Bryan P. Glass, Robert R. Talmadge, Herbert H. Dill and L. R. Wolfe · The Condor · 1946
DiffusionR. L. jun Peek; D. A. Mc Lean; J. B. Chloupek; U. Schmieschek; R. A. Baxter; L. J. Beckham; A. L. Elder; R. P. Easton; H. E. Pletcher; F. C. Peterson; C. O. Oldfeldt; G. Ettisch; E. Hellriegel · 1935
Estrogen Increases Hyperemic Microvascular Blood Flow Velocity in Postmenopausal WomenPeterson, L. R.; Courtois, M.; Peterson, L. F.; Peterson, M. R.; Davila-Roman, V. G.; Spina, R. J.; Barzilai, B. · The Journals of Gerontology Series A: Biological Sciences and Medical Sciences · 2000
Late blight investigationsM. E. Gallegly; Reiner Bonde; C. J. Eide; J. L. Howatt; J. S. Niederhauser; L. C. Peterson; W. R. Mills; R. E. Webb · 1958
LIBRA-LiTE: A 1000 MWereactorG. L. Kulcinski; R. L. Engelstad; E. G. Lovell; J. J. MacFariane; E. A. Mogahed; G. A. Moses; R. R. Peterson; S. Rutledge; M. E. Sawan; I. N. SviatoslJavsky; G. Sviatoslavsky; L. J. Wittenberg · 1991
Antifertilityeffects of clonidine in laying hensR. M. Weppelman; R. L. Tolman; A. Ann Van Iderstine; L. Peterson; G. Olson · 1981
Report of the soap analysis committee 1936M. L. Sheely; H. C. Bennett; J. M. Burmeister; H. E. Cutts; J. E. Doherty; L. B. Hitchcock; L. F. Hoyt; C. P. Long; E. R. Luckow; R. C. Newton; W. A. Peterson; F. W. Smither; H. P. Trevithick; R. B. Trusler · 1937
Characteristics of ICF Relevant Hohlraums Driven by X-Rays from a Z-PinchSanford, T. W. L.; Olson, R. E.; Vesey, R. A.; Chandler, G. A.; Hebron, D. E.; Mock, R. C.; Leeper, R. J.; Nash, T. J.; Ruiz, C. L.; Ruggles, L. E.; Simpson, W. W.; Bowers, R. L.; Matuska, W.; Peterson, D. L.; Peterson, R. R. · Fusion Technology · 2000
Bergmann's rule is invalidGeist, Valerius · Canadian Journal of Zoology · 1987
Freshwater Oligochaeta in CanadaBrinkhurst, R. O. · Canadian Journal of Zoology · 1978
Addendum: Freshwater Oligochaeta in CanadaBrinkhurst, R. O. · Canadian Journal of Zoology · 1979
Nematode parasitism in amphibians and reptilesBaker, M. R. · Canadian Journal of Zoology · 1984
Gluconeogenesis in teleost fishesSuarez, Raul K.; Mommsen, Thomas P. · Canadian Journal of Zoology · 1987
Winter foraging by individual porcupinesRoze, Uldis · Canadian Journal of Zoology · 1984
Movements of southern elephant sealsMcConnell, B. J.; Fedak, M. A. · Canadian Journal of Zoology · 1996
Gill morphometry and fish osmoregulationLaurent, Pierre; Hebibi, Nadra · Canadian Journal of Zoology · 1989