Partial-order reduction for general stat
✍
Dragan Bošnački; Stefan Leue; Alberto Lluch Lafuente
📂
Article
📅
2008
🏛
Springer
🌐
English
⚖ 418 KB