@slides{          Bussche,
  Author        = "den Bussche, Jan Van",
  date-added    = "2014-08-18 07:38:25 +0000",
  date-modified = "2014-08-18 07:38:56 +0000",
  Title         = "A Logic-Based Approach to Cloud Computing",
  where         = "EATCS summer school in Tel{\v c}",
  Year          = "2014",
  File          = "A Logic-Based Approach to Cloud Computing - Bussche (0) (0) - a - a - n.pdf"
}

@slides{ Bussche, Author = "den Bussche, Jan Van", date-added = "2014-08-18 07:38:25 +0000", date-modified = "2014-08-18 07:38:56 +0000", Title = "A Logic-Based Approach to Cloud Computing", where = "EATCS summer school in Tel{\v c}", Year = "2014", File = "A Logic-Based Approach to Cloud Computing - Bussche (0) (0) - a - a - n.pdf" }