𝔖 Bobbio Scriptorium

✦ LIBER ✦

Process Calculus with Data Structure and its Model Checking Algorithm

✍ Scribed by Qing Zheng; Zi-Ning Cao

Book ID: 116833634
Publisher: Elsevier
Year: 2012
Tongue: English
Weight: 235 KB
Volume: 33
Category: Article
ISSN: 1875-3892
DOI: 10.1016/j.phpro.2012.05.135

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Pentaerythritol tetranitrate II: its cry

Pentaerythritol tetranitrate II: its crystal structure and transformation to PETN I; an algorithm for refinement of crystal structures with poor data

✍ Cady, H. H. ;Larson, A. C. 📂 Article 📅 1975 🏛 International Union of Crystallography ⚖ 1016 KB

Classification of Markov processes of M/

Classification of Markov processes of M/G/1 type with a tree structure and its applications to queueing models

✍ Qi-Ming He 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 152 KB

Low Resolution Structural Models of the

Low Resolution Structural Models of the Basic Helix-Loop-Helix Leucine Zipper Domain of Upstream Stimulatory Factor 1 and Its Complexes with DNA from Small Angle X-Ray Scattering Data

✍ Lamber, Ekaterina P.; Wilmanns, Matthias; Svergun, Dmitri I. 📂 Article 📅 2008 🏛 Biophysical Society 🌐 English ⚖ 563 KB

[IEEE 2010 International Conference on M

[IEEE 2010 International Conference on Machine Learning and Applications (ICMLA) - Washington, DC, USA (2010.12.12-2010.12.14)] 2010 Ninth International Conference on Machine Learning and Applications - Pre-Processing Structured Data for Standard Machine Learning Algorithms by Supervised Graph Propositionalization - A Case Study with Medicinal Chemistry Datasets

✍ Karunaratne, Thashmee; Bostrom, Henrik; Norinder, Ulf 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 303 KB