A Divide and Conquer Approach to Liveness Model Checking under Fairness & Anti-fairness Assumptions
-
- 緒方 和博
- 北陸先端科学技術大学院大学
Bibliographic Information
- Title
- A Divide and Conquer Approach to Liveness Model Checking under Fairness & Anti-fairness Assumptions
- Author
- Kazuhiro Ogata
Journal
-
- Frontiers of Computer Science (FCS)
-
Frontiers of Computer Science (FCS) - 2017
- Tweet
Details 詳細情報について
-
- CRID
- 1010000782280795528
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN