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

Research output: Book/ReportAnthologyScientificpeer-review

Researchers

Research units

Details

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

ID: 501135