✦ LIBER ✦

Solving the ignoring problem for partial order reduction

✍ Scribed by Sami Evangelista; Christophe Pajault

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Partial order reductions for failures re

✍ Heike Wehrheim 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 829 KB

Partial Order Reduction for Probabilisti

✍ Christel Baier; Pedro D'Argenio; Marcus Groesser 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 432 KB

Improved cyclic reduction for solving qu

✍ Dario Andrea Bini; Beatrice Meini 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 259 KB

Partial-order reduction for general stat

✍ Dragan Bošnački; Stefan Leue; Alberto Lluch Lafuente 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 418 KB

A partial enumeration algorithm for solv

✍ Cs. Holló 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 811 KB

A method of solving the partial eigenval

✍ A.A. Levin 📂 Article 📅 1965 🏛 Elsevier Science ⚖ 366 KB