SpringerLink (Online service), NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Inan, M. K., & Kurshan, R. P. (2000). Verification of digital and hybrid systems. Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, M. Kemal Inan, and R. P. Kurshan. Verification of Digital and Hybrid Systems. Berlin ; New York: Springer, 2000.
MLA (9th ed.) CitationSpringerLink (Online service), et al. Verification of Digital and Hybrid Systems. Springer, 2000.
Warning: These citations may not always be 100% accurate.