Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PD

Research output: Book/ReportAnthology

Researchers

  • Jeremy T. Bradley
  • Keijo Heljanko
  • William J. Knottenbelt
  • Nigel Thomas

Research units

Details

Original languageEnglish
Place of PublicationAmsterdam
PublisherElsevier
Publication statusPublished - 2013
MoE publication typeC2 Edited books

ID: 501135