@Unpublished{     BolligGastin,
  Author        = "Bollig, Benedikt and Gastin, Paul",
  date-added    = "2019-01-31 16:17:13 +0100",
  date-modified = "2019-01-31 16:47:34 +0100",
  Note          = "lecture notes",
  Title         = "Non-Sequential Theory of Distributed Systems",
  File          = "non-sequential (0) - a - a - r.pdf"
}

@Unpublished{ BolligGastin, Author = "Bollig, Benedikt and Gastin, Paul", date-added = "2019-01-31 16:17:13 +0100", date-modified = "2019-01-31 16:47:34 +0100", Note = "lecture notes", Title = "Non-Sequential Theory of Distributed Systems", File = "non-sequential (0) - a - a - r.pdf" }