Formal verification of concurrent progra
✍
Fu, Ming ;Zhang, Yu ;Li, Yong
📂
Article
📅
2010
🏛
Higher Education Press and Springer
🌐
English
⚖ 407 KB