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

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

Research output: Book/ReportAnthology or special issueScientificpeer-review

Original languageEnglish
Publication statusPublished - 2013
Externally publishedYes
MoE publication typeC2 Edited book

Cite this