On model-checking for fragments of μ-calculus
Journal
-
- Proc. 5th CAV
-
Proc. 5th CAV 385-396, 1993
- Tweet
Details 詳細情報について
-
- CRID
- 1571980073974392064
-
- NII Article ID
- 10000070540
-
- Data Source
-
- CiNii Articles