✦ LIBER ✦
A verifiable low-level concurrent programming model based on colored Petri nets
✍ Scribed by ShengYuan Wang; Yuan Dong
- Publisher
- Science in China Press (SCP)
- Year
- 2011
- Tongue
- English
- Weight
- 416 KB
- Volume
- 54
- Category
- Article
- ISSN
- 1674-733X
No coin nor oath required. For personal study only.