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/ReportAnthologyScientificpeer-review

    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherElsevier
    Publication statusPublished - 2013
    MoE publication typeC2 Edited books

    Cite this