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 or special issue › Scientific › peer-review

Original language	English

Publication status	Published - 2013
Externally published	Yes
MoE publication type	C2 Edited book

Cite this

@book{f9b1e1ad2a38469a8e947c38ee0dd22f,

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 = "{T. Bradley}, Jeremy and Keijo Heljanko and {J. Knottenbelt}, William and Nigel Thomas",

year = "2013",

language = "English",

}

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 - T. Bradley, Jeremy

AU - Heljanko, Keijo

AU - J. Knottenbelt, William

AU - Thomas, Nigel

PY - 2013

Y1 - 2013

M3 - Anthology or special issue

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

ER -