✦ LIBER ✦

Implicit enumeration of strongly connected components and an application to formal verification

✍ Scribed by Aiguo Xie; Beerel, P.A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An approach to formal specification and

✍ M.A.V Nelson; P.S.C Alencar; D.D Cowan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 150 KB

Some applications of an Implicit Duality

✍ H. Narayanan 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 144 KB