Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness

Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi. Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. In ICPP Workshops. pages 576-581, 1999. [doi]

Bibliographies