𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Equivalence algorithm to point out errors for basic lotos in distributed system environment and its prototype

✍ Scribed by Byung-ho Park; Shigemoto Kimura; Eun-Seok Lee; Norio Shiratori


Book ID
114289053
Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
43 KB
Volume
21
Category
Article
ISSN
0920-5489

No coin nor oath required. For personal study only.