✦ LIBER ✦
Computer-aided verification of coordinating processes: The automata-theoretic approach: By Robert P. Kurshan. Princeton University Press, Princeton, NJ. (1994). 270 pages. $49.50 (cloth), £35
- Book ID
- 103931643
- Publisher
- Elsevier Science
- Year
- 1995
- Tongue
- English
- Weight
- 91 KB
- Volume
- 29
- Category
- Article
- ISSN
- 0898-1221
No coin nor oath required. For personal study only.