@InCollection{    KlinSassone,
  Author        = "Klin, Bartek and Sassone, Vladimiro",
  date-added    = "2013-03-27 14:22:11 +0000",
  date-modified = "2013-03-27 14:22:20 +0000",
  Title         = "Structural operational semantics for weighted transition systems",
  File          = "Structural operational semantics for weighted transition systems - Klin, Sassone (0) (0) - a - a - j.pdf"
}

@InCollection{ KlinSassone, Author = "Klin, Bartek and Sassone, Vladimiro", date-added = "2013-03-27 14:22:11 +0000", date-modified = "2013-03-27 14:22:20 +0000", Title = "Structural operational semantics for weighted transition systems", File = "Structural operational semantics for weighted transition systems - Klin, Sassone (0) (0) - a - a - j.pdf" }