Toggle Main Menu Toggle Search

Open Access padlockePrints

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 (PDMC)

Lookup NU author(s): Dr Nigel Thomas


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Bradley JT, Heljanko K, Knottenbelt WJ, Thomas N

Publication type: Editorial

Publication status: Published

Journal: Electronic Notes in Theoretical Computer Science

Year: 2013

Volume: 296

Pages: 1-5

Print publication date: 16/08/2013

ISSN (electronic): 1571-0661

Publisher: Elsevier BV


DOI: 10.1016/j.entcs.2013.07.001