APA (7th ed.) Citation

Kobayashi, K., & Hiraishi, K. Verification of Opacity and Diagnosability for Pushdown Systems. Wiley.

Chicago Style (17th ed.) Citation

Kobayashi, Koichi, and Kunihiko Hiraishi. Verification of Opacity and Diagnosability for Pushdown Systems. Wiley.

MLA (9th ed.) Citation

Kobayashi, Koichi, and Kunihiko Hiraishi. Verification of Opacity and Diagnosability for Pushdown Systems. Wiley.

Warning: These citations may not always be 100% accurate.