Process algebra approach to reasoning ab
✍
Yuan Feng; Ming-Sheng Ying
📂
Article
📅
2004
🏛
Springer
🌐
English
⚖ 879 KB