✦ LIBER ✦

Verification of Safety Properties Using Integer Programming: Beyond the State Equation

✍ Scribed by Javier Esparza; Stephan Melzer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The use of the number of permissible sol

✍ J.G. Mitev 📂 Article 📅 1979 🏛 Elsevier Science ⚖ 198 KB

Prediction of Critical Properties of Bin

✍ S. I. Abu-Eishah; N. A. Darwish; I. H. Aljundi 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 694 KB

The prediction of pure component propert

✍ Alessandro Vetere 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 629 KB

Using fundamental equations of state for

✍ I. S. Aleksandrov; A. A. Gerasimov; B. A. Grigor’ev 📂 Article 📅 2011 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 220 KB

Multistage multicomponent separation cal

✍ M. K. Shah; P. R. Bishnoi 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 807 KB

Prediction of thermophysical properties

✍ Awad R. Mansour 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 341 KB