✓

@book{book_3080714,
    title = {Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)},
    author = {Sayan Mitra},
    publisher = {The MIT Press},
    isbn = {0262044803,9780262044806},
    year = {2021},
    series = {},
    edition = {},
    volume = {},
    url = {http://gen.lib.rus.ec/book/index.php?md5=23466A209EC67D57215947EFE7DE58B6},
    date-added = {2025-4-29 11:3:45 +0100}
}

@book{book_3080714, title = {Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)}, author = {Sayan Mitra}, publisher = {The MIT Press}, isbn = {0262044803,9780262044806}, year = {2021}, series = {}, edition = {}, volume = {}, url = {http://gen.lib.rus.ec/book/index.php?md5=23466A209EC67D57215947EFE7DE58B6}, date-added = {2025-4-29 11:3:45 +0100} }