ChemInform Abstract: STATE OF MANGANESE IN THE PHOTOSYNTHETIC APPARATUS. 2. X-RAY ABSORPTION EDGE STUDIES ON MANGANESE IN PHOTOSYNTHETIC MEMBRANE
- 期刊名称Chemischer Informationsdienst
- 作者KIRBY, J. A.; GOODIN, D. B.; WYDRZYNSKI, T.; ROBERTSON, A. S.; KLEIN, M. P.
- 卷第12卷
- 期第50期
- 印刷ISSN0009-2975
- 文件大小88.63KB
- 发表时间1981-12-15
- DOI10.1002/chin.198150045
SPIE Proceedings [SPIE SPIE Microtechnologies - Prague, Czech Republic (Monday 18 April 2011)] VLSI Circuits and Systems V - Automatic vector generation guided by a functional metricUgarte, I.; Riesgo, Teresa; de la Torre-Arnanz, Eduardo; Sanchez, P. · 2011
[IEEE Comput. Soc 2005 International Conference on Computer Design - San Jose, CA, USA (2-5 Oct. 2005)] 2005 International Conference on Computer Design - Assertion checking of behavioral descriptions with nonlinear solverUgarte, I.; Sanchez, P. · 2005
[IEEE 2008 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Incline Village, NV, USA (2008.11.19-2008.11.21)] 2008 IEEE International High Level Design Validation and Test Workshop - Optimized coverage-directed random simulationUgarte, I.; Sanchez, P. · 2008
[IEEE 2006 IEEE International High Level Design Validation and Test Workshop - Monterey, CA, USA (2006.11.8-2006.11.10)] 2006 IEEE International High Level Design Validation and Test Workshop - Assertion-based Verification of Behavioral Descriptions with Non-linear SolverUgarte, I.; Sanchez, P. · 2006
[IEEE Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - Napa Valley, CA, USA (Nov. 30-Dec. 2, 2005)] Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - Formal meaning of coverage metrics in simulation-based hardware design verificationUgarte, I.; Sanchez, P. · 2005
[IEEE Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) - Napa, CA, USA (27-30 July 2006)] Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. - Assertion checking of control dominated systems with nonlinear solversUgarte, I.; Sanchez, P. · 2006
[IEEE Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design - Verona, Italy (11-14 July 2005)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. - Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systemsUgarte, I.; Sanchez, P. · 2005