✓

@Book{            book:487048,
  Author        = "Platzer, Andr{\'e}",
  date-added    = "2023-04-05 22:31:08 +0200",
  date-modified = "2023-04-05 22:31:12 +0200",
  Edition       = "1",
  ISBN          = "3642145086,9783642145087,9783642145094",
  Publisher     = "Springer-Verlag Berlin Heidelberg",
  Title         = "Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=c69438a7944eeb79f7b9a2a1b72094ec",
  Year          = "2010",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=c69438a7944eeb79f7b9a2a1b72094ec",
  File          = "Logical Analysis of Hybrid Systems.pdf"
}

@Book{ book:487048, Author = "Platzer, Andr{\'e}", date-added = "2023-04-05 22:31:08 +0200", date-modified = "2023-04-05 22:31:12 +0200", Edition = "1", ISBN = "3642145086,9783642145087,9783642145094", Publisher = "Springer-Verlag Berlin Heidelberg", Title = "Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics", URL = "http://gen.lib.rus.ec/book/index.php?md5=c69438a7944eeb79f7b9a2a1b72094ec", Year = "2010", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=c69438a7944eeb79f7b9a2a1b72094ec", File = "Logical Analysis of Hybrid Systems.pdf" }