Tableau-based model checking in the propositional mu-calculus
Journal
-
- Acta Informatica
-
Acta Informatica 27 725-747, 1990
- Tweet
Details 詳細情報について
-
- CRID
- 1571980076595753728
-
- NII Article ID
- 80005454138
-
- Data Source
-
- CiNii Articles