✦ LIBER ✦

Termination of High-Level Replacement Units with Application to Model Transformation

✍ Scribed by Paolo Bottoni; Manuel Koch; Francesco Parisi-Presicce; Gabriele Taentzer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Self-consistent signal-to-noise analysis

✍ Toru Aonishi; Yasunao Komatsu; Koji Kurata 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 384 KB

Anionic copolymerization of butadiene an

✍ D. J. T. Hill; J. H. O'Donnell; P. W. O'Sullivan; J. E. McGrath; I. C. Wang; T. 📂 Article 📅 1983 🏛 Springer 🌐 English ⚖ 250 KB

A novel approach to high-level switching

✍ Lundberg, M.; Muhammad, K.; Roy, K.; Wilson, S.K. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 270 KB

Application of the differential transfor

✍ Bor-Lih Kuo; Cheng-Ying Lo 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 849 KB

Queuing model with interrupt enable poin

✍ Akira Yamamoto 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 173 KB 👁 1 views

Mathematical modelling of radionuclide t

✍ D.P. Hodgkinson; D.A. Lever; T.H. England 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 758 KB