✦ LIBER ✦

On-the-fly conformance testing using SPIN

✍ Scribed by René G. de Vries; Jan Tretmans

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On-the-Fly Verification using CADP

✍ Radu Mateescu 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 105 KB

Data on the mouse spinning test

✍ Juan J. Angulo 📂 Article 📅 1953 🏛 Springer Vienna 🌐 English ⚖ 176 KB

A discrimination test procedure for ambi

✍ J. Wang; M. P. Stewart; M. Tsakiri 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 268 KB

Testing isotropy of the universe using t

✍ I. Altarev; G. Ban; G. Bison; K. Bodek; M. Daum; M. Fertl; P. Fierlinger; B. Fra 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 572 KB

On the conformal, concircular, and spin

✍ S. G. Leiko 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 193 KB

On testing for clusters using the sample

✍ Peter Bryant 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 517 KB