✦ LIBER ✦

Using Z to model and analyse safety and liveness properties of communication protocols

✍ Scribed by HP Haughton

Publisher: Elsevier Science
Year: 1991
Tongue: English
Weight: 483 KB
Volume: 33
Category: Article
ISSN: 0950-5849
DOI: 10.1016/0950-5849(91)90116-s

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using an integrated methods approach to

Using an integrated methods approach to analyse the emergent properties of military command and control

✍ Guy H. Walker; Neville A. Stanton; Rebecca Stewart; Daniel Jenkins; Linda Wells; 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 710 KB

Use of simulation models to evaluate irr

Use of simulation models to evaluate irrigation performance including water productivity, risk and system analyses

✍ Peter Droogers; Geoff Kite; Hammond Murray-Rust 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 408 KB

Using community-based methods and a soci

Using community-based methods and a social ecological framework to explore workplace health and safety of bloqueros on the olympic peninsula

✍ Joseph Campe; Lesley Hoare; Amy Hagopian; Matthew Keifer 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 143 KB 👁 2 views

Use of “living” radical polymerizations

Use of “living” radical polymerizations to study the structural evolution and properties of highly crosslinked polymer networks

✍ Anandkumar R. Kannurpatti; Karin J. Anderson; Jay W. Anseth; Christopher N. Bowm 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 233 KB 👁 2 views

Crosslinked polymer networks are used in a wide variety of applications. To use these materials effectively, a fundamental understanding of their structural evolution and the relationship between material properties and structure is essential. In this article, a novel technique employing ''iniferter

Use of nuclear magnetic resonance to mod

Use of nuclear magnetic resonance to model thermophysical properties of frozen and unfrozen model food gels

✍ P. Cornillon; J. Andrieu; J.-C. Duplan; M. Laurent 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 955 KB

Staff and patient safety: Issues surroun

Staff and patient safety: Issues surrounding the use of fall-injury-protection bedside floor mats at a large southeastern VA medical center community living center

✍ Melville Bradley 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 115 KB

## Abstract Staff and patient injuries have been realized secondary to the use of fall‐injury protection bedside floor mats at certain VA hospitals. The purpose of this investigation was to ascertain whether patient and staff injuries occurred at our Veterans Administration Medical Center community