✦ LIBER ✦

Reference checks: A tool for system selection

✍ Scribed by Vicky Bradley

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

MPI-CHECK: a tool for checking Fortran 9

✍ Glenn Luecke; Hua Chen; James Coyle; Jim Hoekstra; Marina Kraeva; Yan Zou 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 115 KB 👁 1 views

Selection of a reference partitioning sy

✍ R. Nelson Smith; Copwin Hansch; Matthew M. Ames 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 1013 KB

A tool for model-checking Markov chains

✍ Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 470 KB

A Tool for Abstraction in Model Checking

✍ María del Mar Gallardo; Jesús Martínez; Pedro Merino; Ernesto Pimentel 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 370 KB

A reference tool for continence physioth

✍ Irmina Nahon 📂 Article 📅 2008 🏛 Australian Physiotherapy Association 🌐 English ⚖ 42 KB

A method for selecting check points

✍ A. I. Lisenkov 📂 Article 📅 1981 🏛 Springer US 🌐 English ⚖ 197 KB