✦ LIBER ✦

Unboundedness detection for a class of communicating finite-state machines

✍ Scribed by Yao-Tin Yu; Mohamed G. Gouda

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reverse reachability analysis: A new tec

✍ Yung-Chen Hung; Gen-Huey Chen 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 792 KB

On conditions for defining a closed cove

✍ Chung, A.; Sidhu, D.P. 📂 Article 📅 1989 🏛 IEEE 🌐 English ⚖ 456 KB

Testing from semi-independent communicat

✍ Hierons, R.M. 📂 Article 📅 1997 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 529 KB

Implicit manipulation of equivalence cla

✍ Cabodi, G.; Camurati, P.; Quer, S. 📂 Article 📅 1998 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 846 KB

Learning a class of large finite state m

✍ C. Lee Giles; B.G. Horne; T. Lin 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 655 KB

HARD: A hypercube embedding algorithm fo

✍ Imtiaz Ahmad 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 375 KB