A Denotational Theory of Synchronous Reactive Systems
Journal
-
- Information and Computation
-
Information and Computation 99 192-230, 1992
- Tweet
Details 詳細情報について
-
- CRID
- 1571417126660475392
-
- NII Article ID
- 80006600535
-
- Data Source
-
- CiNii Articles