✦ LIBER ✦
Petri nets for proving some correctness properties of parallel programs
✍ Scribed by János Szlankó
- Publisher
- Elsevier Science
- Year
- 1977
- Weight
- 588 KB
- Volume
- 8
- Category
- Article
- ISSN
- 0066-4138
No coin nor oath required. For personal study only.