✦ LIBER ✦

Model checking software: on some new waves and some evergreens

✍ Scribed by Dragan Bošnački; Stefan Edelkamp

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the eight-vertex model and related mo

✍ J. Zittartz 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 349 KB

Some characteristics of modeling waves o

✍ M. É. Plakida 📂 Article 📅 1981 🏛 Springer 🌐 English ⚖ 112 KB

Some new results on an allelopathic comp

✍ P. Fergola; E. Beretta; M. Cerasuolo 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 212 KB

A test of the precursory accelerating mo

✍ Russell Robinson 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 655 KB

Development of a new long term multiple-

✍ Ahmad, Naima ;Bouhamra, Walid 📂 Article 📅 1993 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 458 KB 👁 1 views

A Note on Some Sub-Equation Methods and

✍ Huiqun Zhang 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 245 KB