@TechReport{      10.5555/866121,
  Author        = "Alpern, Bowen and Schneider, Fred B.",
  Abstract      = "Formal characterizations for safety properties and liveness properties are given in terms of the structure of the Buchi automaton that specifies the property. The characterizations permit a property to be decomposed into a safety property and a liveness property whose conjunction is the original. The characterizations also give insight into techniques required to prove a large class of safety and liveness properties.",
  Address       = "USA",
  date-added    = "2021-07-06 15:52:04 +0200",
  date-modified = "2021-07-06 15:52:04 +0200",
  Publisher     = "Cornell University",
  Title         = "Recognizing Safety and Liveness",
  Year          = "1986",
  File          = "Recognizing safety and liveness - RecSafeLive.pdf"
}

@TechReport{ 10.5555/866121, Author = "Alpern, Bowen and Schneider, Fred B.", Abstract = "Formal characterizations for safety properties and liveness properties are given in terms of the structure of the Buchi automaton that specifies the property. The characterizations permit a property to be decomposed into a safety property and a liveness property whose conjunction is the original. The characterizations also give insight into techniques required to prove a large class of safety and liveness properties.", Address = "USA", date-added = "2021-07-06 15:52:04 +0200", date-modified = "2021-07-06 15:52:04 +0200", Publisher = "Cornell University", Title = "Recognizing Safety and Liveness", Year = "1986", File = "Recognizing safety and liveness - RecSafeLive.pdf" }