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

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/Report › Anthology › Scientific › peer-review

Original language	English
Place of Publication	Amsterdam
Publisher	Elsevier
Publication status	Published - 2013
MoE publication type	C2 Edited books

Cite this

@book{4b6c07f5926d42e58ce5d083fdb4271c,

title = "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",

author = "Bradley, {Jeremy T.} and Keijo Heljanko and Knottenbelt, {William J.} and Nigel Thomas",

note = "VK: 13139402, 310104",

year = "2013",

language = "English",

publisher = "Elsevier",

address = "Netherlands",

}

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. / Bradley, Jeremy T.; Heljanko, Keijo; Knottenbelt, William J.; Thomas, Nigel.

Amsterdam : Elsevier, 2013.

Research output: Book/Report › Anthology › Scientific › peer-review

TY - BOOK

T1 - 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

AU - Bradley, Jeremy T.

AU - Heljanko, Keijo

AU - Knottenbelt, William J.

AU - Thomas, Nigel

N1 - VK: 13139402, 310104

PY - 2013

Y1 - 2013

M3 - Anthology

BT - 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

PB - Elsevier

CY - Amsterdam

ER -