Branching-time type operators on finite
✍
A. D. Yashin
📂
Article
📅
2008
🏛
Springer US
🌐
English
⚖ 381 KB