✦ LIBER ✦

Session B3: Formal Methods I

Publisher: Elsevier Science
Year: 1989
Weight: 47 KB
Volume: 27
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(89)90038-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Session B3: Formal issues

📂 Article 📅 1990 🏛 Elsevier Science ⚖ 8 KB

Session D3: Synthesis I

📂 Article 📅 1989 🏛 Elsevier Science ⚖ 106 KB

Session B3: Hardware building block

✍ Krzystof Kuchinski 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 85 KB

Efficient Formal Synthesis of (.+-.)-Hyp

Efficient Formal Synthesis of (.+-.)-Hyphodermin B (I).

✍ Luke C. Henderson; Wendy A. Loughlin; Ian D. Jenkins; Peter C. Healy; Marc R. Ca 📂 Article 📅 2006 🏛 John Wiley and Sons ⚖ 9 KB 👁 2 views

## Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 200 leading journals. To access a ChemInform Abstract, please click on HTML or PDF.

Session 3: Radiopharmaceutical Chemistry

Session 3: Radiopharmaceutical Chemistry - Halogens I

📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 French ⚖ 811 KB

Positron Emission Tomography (PET) is a high-resolution, sensitive and non-invasive imaging technique that can be used in humans. It is the most advanced technology current ly available for studying in vivo molecular interactions and also represents the method of choice to assess the distribution an

Session C3: Software engineering I

📂 Article 📅 1990 🏛 Elsevier Science ⚖ 120 KB