cvb.acronym: VECoS 2015
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-1431.zip
cvb.ceurpubdate: '2015-09-02'
cvb.city: Bucharest
cvb.cityWikidataId: Q19660
cvb.colocated: null
cvb.country: Romania
cvb.countryWikidataId: Q218
cvb.dateFrom: '2015-09-10'
cvb.dateTo: '2015-09-11'
cvb.desc: '?'
cvb.editors: Belgacem Ben Hedia, Florin Popentiu Vladicescu
cvb.fromLine: 53689
cvb.h1: VECoS 2015 Verification and Evaluation of Computer and Communication Systems
cvb.h3: Proceedings of the 9th Workshop on Verification and Evaluation of Computer
  and Communication Systems
cvb.homepage: http://vecos.ensta-paristech.fr/2015/
cvb.loc_city: Bucharest
cvb.loc_country: Romania
cvb.loc_days: null
cvb.loc_locs: null
cvb.loc_month: September
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: Bucharest, Romania, September 10-11, 2015
cvb.number: 1431
cvb.pubDate: '2015-09-02T00:00:00'
cvb.published: '2015-09-02'
cvb.seealso: Vol-1256
cvb.submittedBy: Belgacem Ben Hedia
cvb.tdtitle: Proceedings of the 9th Workshop on Verification and Evaluation of Computer
  and Communication Systems (VECoS 2015), Bucharest, Romania, September 10-11, 2015.
cvb.title: Proceedings of the 9th Workshop on Verification and Evaluation of Computer
  and Communication Systems
cvb.toLine: 53712
cvb.url: http://ceur-ws.org/Vol-1431/
cvb.urn: urn:nbn:de:0074-1431-6
cvb.urn_check_digit: 6
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Verification and Evaluation of Computer and Communication Systems 2015
cvb.voltitle: Verification and Evaluation of Computer and Communication Systems
cvb.volume_number: Vol-1431
cvb.year: '2015'
spt.acronym: VECoS 2015
spt.date: '2015-09-02'
spt.dblp: conf/vecos/2015
spt.description: Proceedings of VECoS 2015 workshop
spt.html_url: /Vol-1431.html
spt.k10plus: '1020538031'
spt.number: 1431
spt.title: Proceedings of the 9th Workshop on Verification and Evaluation of Computer
  and Communication Systems
spt.url: http://ceur-ws.org/Vol-1431/
spt.urn: urn:nbn:de:0074-1431-6
spt.wikidataid: Q113544594
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-1431-6
wd.Volume: null
wd.dblpEventId: conf/vecos/vecos2015
wd.dblpProceedingsId: conf/vecos/2015
wd.described_at_URL: http://ceur-ws.org/Vol-1431/
wd.event: http://www.wikidata.org/entity/Q113646096
wd.eventLabel: 9th Workshop on Verification and Evaluation of Computer and Communication
  Systems
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-1431/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113544594
wd.itemDescription: Proceedings of VECoS 2015 workshop
wd.itemLabel: Proceedings of the 9th Workshop on Verification and Evaluation of Computer
  and Communication Systems
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '1020538031'
wd.publication_date: '2015-09-02T00:00:00'
wd.sVolume: 1431
wd.short_name: VECoS 2015
wd.title: Proceedings of the 9th Workshop on Verification and Evaluation of Computer
  and Communication Systems
