✦ LIBER ✦

Compositional minimisation of finite state systems using interface specifications

✍ Scribed by Susanne Graf; Bernhard Steffen; Gerald Lüttgen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Compositional Comparison of Formal Softw

✍ Martin Große-Rhode 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 269 KB

Numerical analysis of composite systems

✍ J. L. Chaboche; R. Girard; A. Schaff 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 500 KB

Stabilization of fractional order system

✍ Saeed Balochian; Ali Khaki Sedigh; Mohammad Haeri 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 552 KB

Determination of the energy distribution

✍ H.A. Mar; J.G. Simmons 📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 405 KB

Profiling of stress induced interface st

✍ H. Haddara; S. Cristoloveanu 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 590 KB

New bridge systems using FRP composites

✍ Lijuan Cheng; Vistasp M. Karbhari 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 267 KB