✦ LIBER ✦

On the verification of membrane systems with dynamic structure

✍ Scribed by Giorgio Delzanno; Laurent Van Begin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Petri net model for membrane systems w

✍ Jetty Kleijn; Maciej Koutny 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 520 KB

An approach to the dynamic verification

✍ Keinosuke Matsumoto; Tomihiro Takano 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 623 KB

The structure of integrable Lax flows on

✍ Ya. A. Prikarpats'kii 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 442 KB

On the Lie algebra structures connected

✍ R. G. Smirnov 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 332 KB

Dynamic analysis of open membrane struct

✍ R. Sygulski 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 676 KB

Axiomatic system for program correctness

✍ L. V. Chernobrod 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 978 KB