Specifying real-time finite-state systems in linear logic
収録刊行物
-
- Proc. 2nd International Workshop on Constraint Programming for Time-Critical Applications and Multi-Agent Systems (COTIC)
-
Proc. 2nd International Workshop on Constraint Programming for Time-Critical Applications and Multi-Agent Systems (COTIC) 1998