✦ LIBER ✦

An Algorithm for Checking the Time Consistency of Message Sequence Charts

✍ Scribed by A.B. Godlevskii; M.V. Lopatina; S.N. Svirgunenko

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Optimizing the Execution Time for Checki

✍ Yasser Kotb; Katsuhiko Gondow; Takuya Katayama 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 543 KB

Genotypechecker: an interactive tool for

✍ T. Paterson; A. Law 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 227 KB

An algorithm to check the topological co

✍ K Preiss 📂 Article 📅 1981 🏛 Elsevier Science ⚖ 236 KB

An algorithm for the determination of op

✍ Fong-Jung Yu; Chinyao Low 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 300 KB

An O(n) algorithm for computing the set

✍ K. Taniguchi; T. Kasami 📂 Article 📅 1976 🏛 Springer-Verlag 🌐 English ⚖ 180 KB

An internal consistency check for scale

✍ Allen L. Edwards; L. L. Thurstone 📂 Article 📅 1952 🏛 Springer 🌐 English ⚖ 639 KB