A consideration on liveness problem of extended strong asymmetric choice nets
収録刊行物
-
- Proc. IEICE ITC-CSCC 2001
-
Proc. IEICE ITC-CSCC 2001 2001
Proc. IEICE ITC-CSCC 2001 2001