cvb.acronym: VOLT 2014
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-1325.zip
cvb.ceurpubdate: '2015-01-10'
cvb.city: York
cvb.cityWikidataId: Q42462
cvb.colocated: STAF 2014
cvb.country: United Kingdom
cvb.countryWikidataId: Q145
cvb.dateFrom: '2014-07-21'
cvb.dateTo: '2014-07-21'
cvb.desc: '?'
cvb.editors: Moussa Amrani, Eugene Syriani, Manuel Wimmer
cvb.fromLine: 56627
cvb.h1: VOLT 2014 Verification of Model Transformations
cvb.h3: 'Proceedings of the Third International Workshop on Verification of Model
  Transformations co-located with Software Technologies: Applications and Foundations
  (STAF 2014)'
cvb.homepage: http://volt2014.big.tuwien.ac.at
cvb.loc_city: York
cvb.loc_country: UK
cvb.loc_days: '21'
cvb.loc_locs: null
cvb.loc_month: July
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: York, UK, July 21, 2014
cvb.number: 1325
cvb.pubDate: '2015-01-10T00:00:00'
cvb.published: '2015-01-10'
cvb.seealso: ''
cvb.submittedBy: Manuel Wimmer
cvb.tdtitle: Proceedings of the Third International Workshop on Verification of Model
  Transformations (VOLT 2014), York, UK, July 21, 2014.
cvb.title: Proceedings of the Third International Workshop on Verification of Model
  Transformations
cvb.toLine: 56650
cvb.url: http://ceur-ws.org/Vol-1325/
cvb.urn: urn:nbn:de:0074-1325-4
cvb.urn_check_digit: 4
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Verification of Model Transformations 2014
cvb.voltitle: Verification of Model Transformations
cvb.volume_number: Vol-1325
cvb.year: '2014'
spt.acronym: VOLT 2014
spt.date: '2015-01-10'
spt.dblp: conf/staf/2014volt
spt.description: Proceedings of VOLT 2014 workshop
spt.html_url: /Vol-1325.html
spt.k10plus: '1025998561'
spt.number: 1325
spt.title: Proceedings of the Third International Workshop on Verification of Model
  Transformations
spt.url: http://ceur-ws.org/Vol-1325/
spt.urn: urn:nbn:de:0074-1325-4
spt.wikidataid: Q113544700
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-1325-4
wd.Volume: null
wd.dblpEventId: conf/staf/volt2014
wd.dblpProceedingsId: conf/staf/2014volt
wd.described_at_URL: http://ceur-ws.org/Vol-1325/
wd.event: http://www.wikidata.org/entity/Q113649189
wd.eventLabel: Third International Workshop on Verification of Model Transformations
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-1325/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113544700
wd.itemDescription: Proceedings of VOLT 2014 workshop
wd.itemLabel: Proceedings of the Third International Workshop on Verification of Model
  Transformations
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '1025998561'
wd.publication_date: '2015-01-10T00:00:00'
wd.sVolume: 1325
wd.short_name: VOLT 2014
wd.title: Proceedings of the Third International Workshop on Verification of Model
  Transformations
