Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

cover

@Book{            book:185238,
  Author        = "AAVV",
  Editor        = "Stewart, William J. and Bernardo, Marco and Hillston, Jane",
  date-added    = "2023-08-26 11:01:56 +0200",
  date-modified = "2023-08-26 11:02:45 +0200",
  Edition       = "1",
  ISBN          = "3540724826,9783540724827,9783540725220",
  Publisher     = "Springer-Verlag Berlin Heidelberg",
  Series        = "Lecture Notes in Computer Science 4486",
  Title         = "Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=e6a89abce6190215b71443411ffd9b96",
  Year          = "2007",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=e6a89abce6190215b71443411ffd9b96",
  File          = "(Lecture Notes in Computer Science 4486) William J. Stewart (auth.), Marco Bernardo, Jane Hillston (eds.) - Formal Methods for Performance Evaluation\_ 7th International School on Formal Methods for th.pdf"
}

@Book{ book:185238, Author = "AAVV", Editor = "Stewart, William J. and Bernardo, Marco and Hillston, Jane", date-added = "2023-08-26 11:01:56 +0200", date-modified = "2023-08-26 11:02:45 +0200", Edition = "1", ISBN = "3540724826,9783540724827,9783540725220", Publisher = "Springer-Verlag Berlin Heidelberg", Series = "Lecture Notes in Computer Science 4486", Title = "Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures", URL = "http://gen.lib.rus.ec/book/index.php?md5=e6a89abce6190215b71443411ffd9b96", Year = "2007", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=e6a89abce6190215b71443411ffd9b96", File = "(Lecture Notes in Computer Science 4486) William J. Stewart (auth.), Marco Bernardo, Jane Hillston (eds.) - Formal Methods for Performance Evaluation_ 7th International School on Formal Methods for th.pdf" }