✓

@book{book_945361,
    title = {Verification of Digital and Hybrid Systems},
    author = {M. Kemal Inan and Robert P. Kurshan},
    publisher = {Springer-Verlag Berlin Heidelberg},
    isbn = {978-3-642-64052-0,978-3-642-59615-5},
    year = {2000},
    series = {NATO ASI Series 170},
    edition = {1},
    volume = {},
    url = {http://gen.lib.rus.ec/book/index.php?md5=1ef8c22e894d279f8ac1b8fe1aa994b5},
    date-added = {2024-9-2 7:45:25 +0100}
}

@book{book_945361, title = {Verification of Digital and Hybrid Systems}, author = {M. Kemal Inan and Robert P. Kurshan}, publisher = {Springer-Verlag Berlin Heidelberg}, isbn = {978-3-642-64052-0,978-3-642-59615-5}, year = {2000}, series = {NATO ASI Series 170}, edition = {1}, volume = {}, url = {http://gen.lib.rus.ec/book/index.php?md5=1ef8c22e894d279f8ac1b8fe1aa994b5}, date-added = {2024-9-2 7:45:25 +0100} }