A Divide and Conquer Approach to Liveness Model Checking under Fairness & Anti-fairness Assumptions
-
- 緒方 和博
- 北陸先端科学技術大学院大学
書誌事項
- タイトル
- A Divide and Conquer Approach to Liveness Model Checking under Fairness & Anti-fairness Assumptions
- 著者
- Kazuhiro Ogata
収録刊行物
-
- Frontiers of Computer Science (FCS)
-
Frontiers of Computer Science (FCS) - 2017