=Volume=
{{Volume
|number=1431
|storemode=property
|wikidataid=Q113544594
|title=Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems
|acronym=VECoS 2015
|url=http://ceur-ws.org/Vol-1431/
|date=2015-09-02
|dblp=conf/vecos/2015
|k10plus=1020538031
|urn=urn:nbn:de:0074-1155-8
}}