✦ LIBER ✦

Using refinement calculus techniques to prove linearizability

✍ Scribed by Jonsson, Bengt

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Use of a Fertility Simulation Model to R

✍ J. C. Barrett 📂 Article 📅 1971 🏛 Springer US 🌐 English ⚖ 963 KB

Erratum to: Use of a fertility simulatio

✍ J. C. Barrett 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 172 KB

Feral pigs in Hawai‘i: Using behavior an

✍ Selene Siqueira da Cunha Nogueira; Sérgio Luiz Gama Nogueira-Filho; Michael Bass 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 144 KB

Use of local grid refinement and a Galer

✍ Hilde Reme; Geir Åge Oye 📂 Article 📅 1999 🏛 Springer-Verlag 🌐 English ⚖ 227 KB

A refined radio-telemetry technique to m

✍ M. L. Handoko; I. Schalij; K. Kramer; A. Sebkhi; P. E. Postmus; W. J. van der La 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 218 KB