Design and synthesis of symchronization skeletons using branching-time temporal logic
Journal
-
- Proc. Workshop on Logic Programs, 1982
-
Proc. Workshop on Logic Programs, 1982 1982
- Tweet
Details 詳細情報について
-
- CRID
- 1571698600945214976
-
- NII Article ID
- 10026031239
-
- Data Source
-
- CiNii Articles