
@Book{ Platzer:2018,
Author = "Platzer, Andr{\'e}",
date-added = "2023-04-05 22:31:01 +0200",
date-modified = "2023-09-01 10:24:23 +0200",
Edition = "1st ed.",
ISBN = "978-3-319-63587-3,978-3-319-63588-0",
Publisher = "Springer International Publishing",
Title = "Logical Foundations of Cyber-Physical Systems",
URL = "http://gen.lib.rus.ec/book/index.php?md5=14c885739517a330a9f278c37b2cae0e",
Year = "2018",
bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=14c885739517a330a9f278c37b2cae0e",
File = "Logical Foundations of Cyber-Physical Systems.pdf"
}
@Book{ Platzer:2018,
Author = "Platzer, Andr{\'e}",
date-added = "2023-04-05 22:31:01 +0200",
date-modified = "2023-09-01 10:24:23 +0200",
Edition = "1st ed.",
ISBN = "978-3-319-63587-3,978-3-319-63588-0",
Publisher = "Springer International Publishing",
Title = "Logical Foundations of Cyber-Physical Systems",
URL = "http://gen.lib.rus.ec/book/index.php?md5=14c885739517a330a9f278c37b2cae0e",
Year = "2018",
bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=14c885739517a330a9f278c37b2cae0e",
File = "Logical Foundations of Cyber-Physical Systems.pdf"
}