𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Task level specification and formal verification of robotics control systems: State of the art and case study

✍ Scribed by Kapellos, K.; Simon, D.; Jourdant, M.; Espiau, B.


Book ID
115504183
Publisher
Taylor and Francis Group
Year
1999
Tongue
English
Weight
618 KB
Volume
30
Category
Article
ISSN
0020-7721

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Serum cholesterol levels and the risk of
✍ Phil Hyu Lee; Tae Sung Lim; Hae-Won Shin; Seok Woo Yong; Hyo Suk Nam; Young H. S πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 198 KB πŸ‘ 1 views

## Abstract Cholesterol in brain membranes may modulate the conformational state and accumulation of α‐synuclein in α‐synucleinopathies.We examined the association between serum cholesterol and the risk of multiple system atrophy (MSA), one of the α‐synucleinopathies. We enrolled 142 patients with