Timed Petri Nets and Temporal Linear Logic. - Makoto Tanabe (ICATPN, 1997)

Introduction: Digital Cities Research and Open Issues. - Peter van den Besselaar; Makoto Tanabe; Toru Ishida 001 (Digital Cities, 2001)