GSOS for probabilistic transition system
✍
Falk Bartels
📂
Article
📅
2002
🏛
Elsevier Science
🌐
English
⚖ 365 KB