✓

@Book{            Tabuada:HibridSystems:2009,
  Author        = "Tabuada, Paulo",
  date-added    = "2021-01-20 19:18:28 +0100",
  date-modified = "2021-01-20 19:18:34 +0100",
  Edition       = "1",
  ISBN          = "1441902236,9781441902238,1441902244,9781441902245",
  Publisher     = "Springer US",
  Title         = "Verification and Control of Hybrid Systems: A Symbolic Approach",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=e8161b08ecf0d3e7ab618d764e6a6e79",
  Year          = "2009",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=e8161b08ecf0d3e7ab618d764e6a6e79",
  File          = "Verification and Control of Hybrid Systems A Symbolic Approach by Paulo Tabuada (auth.) (z-lib.org) - a.pdf"
}

@Book{ Tabuada:HibridSystems:2009, Author = "Tabuada, Paulo", date-added = "2021-01-20 19:18:28 +0100", date-modified = "2021-01-20 19:18:34 +0100", Edition = "1", ISBN = "1441902236,9781441902238,1441902244,9781441902245", Publisher = "Springer US", Title = "Verification and Control of Hybrid Systems: A Symbolic Approach", URL = "http://gen.lib.rus.ec/book/index.php?md5=e8161b08ecf0d3e7ab618d764e6a6e79", Year = "2009", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=e8161b08ecf0d3e7ab618d764e6a6e79", File = "Verification and Control of Hybrid Systems A Symbolic Approach by Paulo Tabuada (auth.) (z-lib.org) - a.pdf" }