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

Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig › Peer review

Originalspråk	engelska

Status	Publicerad - 2013
Externt publicerad	Ja
MoE-publikationstyp	C2 Redigerade böcker

Citera det här

@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",

}

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

2013.

Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig › 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 - 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 -