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

Tutkimustuotos: Kirja/raportti › Kokoomateos tai erikoisnumero › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	englanti

Tila	Julkaistu - 2013
Julkaistu ulkoisesti	Kyllä
OKM-julkaisutyyppi	C2 Toimitettu teos

Siteeraa tätä

@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.

Tutkimustuotos: Kirja/raportti › Kokoomateos tai erikoisnumero › Tieteellinen › vertaisarvioitu

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 -