An Application of a Temporal Linear Logic to Timed Petri Nets
Journal
-
- Proc. Petri Nets'99 Workshop on Applications of Petri Nets to Intelligent System Development
-
Proc. Petri Nets'99 Workshop on Applications of Petri Nets to Intelligent System Development 2-13, 1999
- Tweet
Details 詳細情報について
-
- CRID
- 1572543024443513600
-
- NII Article ID
- 10007226114
-
- Data Source
-
- CiNii Articles