cvb.acronym: DIFTS'13
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-1130.zip
cvb.ceurpubdate: '2014-02-24'
cvb.city: Portland
cvb.cityWikidataId: Q6106
cvb.colocated: FMCAD'13
cvb.country: United States of America
cvb.countryWikidataId: Q30
cvb.dateFrom: '2013-10-19'
cvb.dateTo: '2013-10-19'
cvb.desc: '?'
cvb.editors: Malay Ganai, Alper Sen
cvb.fromLine: 62001
cvb.h1: DIFTS'13 Design and Implementation of Formal Tools and Systems 2013
cvb.h3: Proceedings of the Second International Workshop on Design and Implementation
  of Formal Tools and Systems
cvb.homepage: http://www.cmpe.boun.edu.tr/difts13/
cvb.loc_city: Portland
cvb.loc_country: USA
cvb.loc_days: '19'
cvb.loc_locs: null
cvb.loc_month: October
cvb.loc_other: null
cvb.loc_region: OR
cvb.loc_typos: null
cvb.loctime: Portland, OR, USA, October 19, 2013
cvb.number: 1130
cvb.pubDate: '2013-02-24T00:00:00'
cvb.published: '2013-02-24'
cvb.seealso: Vol-832
cvb.submittedBy: Malay Ganai
cvb.tdtitle: Proceedings of the Second International Workshop on Design and Implementation
  of Formal Tools and Systems (DIFTS'13), Portland, OR, USA, October 19, 2013.
cvb.title: Proceedings of the Second International Workshop on Design and Implementation
  of Formal Tools and Systems
cvb.toLine: 62024
cvb.url: http://ceur-ws.org/Vol-1130/
cvb.urn: urn:nbn:de:0074-1130-3
cvb.urn_check_digit: 3
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Design and Implementation of Formal Tools and Systems 2013
cvb.voltitle: Design and Implementation of Formal Tools and Systems 2013
cvb.volume_number: Vol-1130
cvb.year: '2013'
spt.acronym: DIFTS'13
spt.date: '2013-02-24'
spt.dblp: conf/fmcad/2013difts
spt.description: Proceedings of DIFTS'13 workshop
spt.html_url: /Vol-1130.html
spt.k10plus: '779653696'
spt.number: 1130
spt.title: Proceedings of the Second International Workshop on Design and Implementation
  of Formal Tools and Systems
spt.url: http://ceur-ws.org/Vol-1130/
spt.urn: urn:nbn:de:0074-1130-3
spt.wikidataid: Q113544911
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-1130-3
wd.Volume: null
wd.dblpEventId: conf/fmcad/difts2013
wd.dblpProceedingsId: conf/fmcad/2013difts
wd.described_at_URL: http://ceur-ws.org/Vol-1130/
wd.event: http://www.wikidata.org/entity/Q113649670
wd.eventLabel: Second International Workshop on Design and Implementation of Formal
  Tools and Systems
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-1130/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113544911
wd.itemDescription: Proceedings of DIFTS'13 workshop
wd.itemLabel: Proceedings of the Second International Workshop on Design and Implementation
  of Formal Tools and Systems
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '779653696'
wd.publication_date: '2013-02-24T00:00:00'
wd.sVolume: 1130
wd.short_name: DIFTS'13
wd.title: Proceedings of the Second International Workshop on Design and Implementation
  of Formal Tools and Systems
