𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Transaminases Applied to the Synthesis of High Added-Value Enantiopure Amines

✍ Scribed by Paul, Caroline E.; Rodríguez-Mata, María; Busto, Eduardo; Lavandera, Iván; Gotor-Fernández, Vicente; Gotor, Vicente; García-Cerrada, Susana; Mendiola, Javier; de Frutos, Óscar; Collado, Iván


Book ID
121476603
Publisher
American Chemical Society
Year
2014
Tongue
English
Weight
358 KB
Volume
18
Category
Article
ISSN
1083-6160

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A study about the efficiency of formal h
✍ José M. Mendı́as; Román Hermida; Olga Peñalba 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 643 KB

The use of a formal synthesis system is proposed as an efficient alternative for the formal verification of RT-level circuits obtained from algorithmic-level specifications by high-level synthesis (HLS) tools. The goal of the proposal is to recreate, within the formal synthesis system, any design pr