✦ LIBER ✦

Generalised multi-pattern-based verification of programs with linear linked structures

✍ Scribed by Milan Češka; Pavel Erlebach; Tomáš Vojnar

Book ID: 105844946
Publisher: Springer
Year: 2007
Tongue: English
Weight: 260 KB
Volume: 19
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-007-0031-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Pattern-Based Verification of Programs w

Pattern-Based Verification of Programs with Extended Linear Linked Data Structures

✍ Milan Češka; Pavel Erlebach; Tomáš Vojnar 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 329 KB

Nonlinear dynamic analysis of multi-base

Nonlinear dynamic analysis of multi-base seismically isolated structures with uplift potential II: verification examples

✍ Panayiotis C. Roussis; Panos C. Tsopelas; Michael C. Constantinou 📂 Article 📅 2010 🏛 Institute of Engineering Mechanics, China Earthqua 🌐 English ⚖ 989 KB

Extensions of TOPSIS for large scale mul

Extensions of TOPSIS for large scale multi-objective non-linear programming problems with block angular structure

✍ Mahmoud A. Abo-Sinna; Azza H. Amer; Ashraf S. Ibrahim 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 186 KB