✦ LIBER ✦

Semantic analysis of concurrent ML by abstract model-checking

✍ Scribed by Régis Cridlig

Publisher: Elsevier Science
Year: 1997
Tongue: English
Weight: 30 KB
Volume: 5
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80678-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A generalized semantics of PROMELA for a

A generalized semantics of PROMELA for abstract model checking

✍ María del Mar Gallardo; Pedro Merino; Ernesto Pimentel 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 273 KB

ChemInform Abstract: Enkephalin-Based Dr

ChemInform Abstract: Enkephalin-Based Drug Design: Conformational Analysis of O-Linked Glycopeptides by NMR and Molecular Modeling.

✍ Caroline T. Kriss; Bih-Show Lou; Lajos Z. Szabo; Scott A. Mitchell; Victor J. Hr 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 31 KB 👁 2 views

ChemInform Abstract: Conformational Anal

ChemInform Abstract: Conformational Analysis of Sugar—Peptide Adducts (I)-(III) in the Solution State by NMR Spectroscopy and Molecular Modeling.

✍ Ivanka Jeric; Predrag Novak; Mladen Vinkovic; Stefica Horvat 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 28 KB 👁 2 views

## Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable v

ChemInform Abstract: Binding Interaction

ChemInform Abstract: Binding Interaction Analysis of the Active Site and Its Inhibitors for Neuraminidase (N1 Subtype) of Human Influenza Virus by the Integration of Molecular Docking, FMO Calculation and 3D-QSAR CoMFA Modeling.

✍ Qingye Zhang; Jiaoyan Yang; Kun Liang; Lingling Feng; Sanpin Li; Jian Wan; Xin X 📂 Article 📅 2008 🏛 John Wiley and Sons ⚖ 16 KB 👁 2 views