共 50 条
- [1] Verified Software Units [J]. PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2021, 2021, 12648 : 118 - 147
- [4] A DESIGN CONCEPT FOR VERIFIED CONCURRENT CONTROLLERS [J]. MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 299 - 306
- [5] PHOTOSYNTHETIC LIGHT CURVES FOR DIFFERENT ORGANIZATION OF PHOTOSYNTHETIC UNITS [J]. SOVIET PLANT PHYSIOLOGY, 1983, 30 (05): : 656 - 665
- [7] Photosynthetic units of phototrophic organisms [J]. BIOCHEMISTRY-MOSCOW, 2004, 69 (05) : 471 - 484
- [8] Verified concept mapping for eliciting conceptual understanding [J]. INTERNATIONAL CONFERENCE ON COMPUTERS IN EDUCATION, VOLS I AND II, PROCEEDINGS, 2002, : 1561 - 1562