Real-time Systems (0)

by K frm-eFutatsugi, K Ogata
Venue:In: Rewriting, Proof, and Computation, Proceedings of the 1st International Symposium, RPC 2001