APA-Zitierstil (7. Ausg.)

Uchihira, N., & Honiden, S. (1990). Verification and synthesis of concurrent programs using Petri nets and temporal logic.

Chicago-Zitierstil (17. Ausg.)

Uchihira, Naoshi, und Shinichi Honiden. Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic. Tokyo, Japan, 1990.

MLA-Zitierstil (9. Ausg.)

Uchihira, Naoshi, und Shinichi Honiden. Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic. 1990.