cvb.acronym: VERIFY'08
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-372.zip
cvb.ceurpubdate: null
cvb.city: Sydney
cvb.cityWikidataId: Q3130
cvb.colocated: null
cvb.country: Australia
cvb.countryWikidataId: Q408
cvb.dateFrom: '2008-08-10'
cvb.dateTo: '2008-08-11'
cvb.desc: VERIFY'08
cvb.editors: Bernhard Beckert, Gerwin Klein
cvb.fromLine: 83590
cvb.h1: VERIFY'08 5th International Verification Workshop
cvb.h3: Proceedings of the 5th International Verification Workshop in connection with
  IJCAR 2008 Sydney, Australia, August 10-11, 2008
cvb.homepage: http://www.uni-koblenz.de/~beckert/verify08/
cvb.loc_city: Sydney
cvb.loc_country: Australia
cvb.loc_days: null
cvb.loc_locs: null
cvb.loc_month: August
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: ' Sydney, Australia, August 10-11, 2008'
cvb.number: 372
cvb.pubDate: '2008-08-11T00:00:00'
cvb.published: '2008-08-11'
cvb.seealso: ''
cvb.submittedBy: Bernhard Beckert
cvb.tdtitle: Proceedings of the 5th International Verification Workshop (VERIFY-2008),
  Sydney, Australia, August 10-11, 2008.
cvb.title: VERIFY'08 5th International Verification Workshop
cvb.toLine: 83629
cvb.url: http://ceur-ws.org/Vol-372/
cvb.urn: null
cvb.urn_check_digit: null
cvb.urn_ok: null
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: VERIFY 2008
cvb.voltitle: null
cvb.volume_number: null
cvb.year: null
spt.acronym: VERIFY'08
spt.date: '2008-08-11'
spt.dblp: conf/cade/2008verify
spt.description: Proceedings of VERIFY'08 workshop
spt.html_url: /Vol-372.html
spt.k10plus: null
spt.number: 372
spt.title: VERIFY'08 5th International Verification Workshop
spt.url: http://ceur-ws.org/Vol-372/
spt.urn: urn:nbn:de:0074-372-1
spt.wikidataid: Q113545789
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-372-1
wd.Volume: null
wd.dblpEventId: conf/cade/verify2008
wd.dblpProceedingsId: conf/cade/2008verify
wd.described_at_URL: http://ceur-ws.org/Vol-372/
wd.event: http://www.wikidata.org/entity/Q113672824
wd.eventLabel: VERIFY'08 5th International Verification Workshop
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-372/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113545789
wd.itemDescription: Proceedings of VERIFY'08 workshop
wd.itemLabel: VERIFY'08 5th International Verification Workshop
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: null
wd.publication_date: '2008-08-11T00:00:00'
wd.sVolume: 372
wd.short_name: VERIFY'08
wd.title: VERIFY'08 5th International Verification Workshop
