✦ LIBER ✦

Structural Refinement of Systems Specified in Object-Z and CSP

✍ Scribed by John Derrick; Graeme Smith

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Specification, Refinement and Verificati

✍ Graeme Smith; John Derrick 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 183 KB

Determination of eigenvalues of large st

✍ Maharaj K. Kaul 📂 Article 📅 1977 🏛 John Wiley and Sons 🌐 English ⚖ 345 KB

Interaction, specification refinement, a

✍ A.L Tits; Z Ma 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 644 KB

Statistical properties of randomly broke

✍ Derrida, B; Flyvbjerg, H 📂 Article 📅 1987 🏛 Institute of Physics 🌐 English ⚖ 674 KB

Refinement of the structure of β-mangane

✍ Shoemaker, C. B. ;Shoemaker, D. P. ;Hopkins, T. E. ;Yindepit, S. 📂 Article 📅 1978 🏛 International Union of Crystallography ⚖ 434 KB

Crystal structure refinements of the κ p

✍ Anders Ha˚rsta 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 380 KB