cvb.acronym: FMDT 2023
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-3507.zip
cvb.ceurpubdate: '2023-10-16'
cvb.city: "L\xFCbeck"
cvb.cityWikidataId: Q2843
cvb.colocated: FM 2023
cvb.country: Germany
cvb.countryWikidataId: Q183
cvb.dateFrom: '2023-03-06'
cvb.dateTo: '2023-03-06'
cvb.desc: '?'
cvb.editors: Stefan Hallerstede, Eduard Kamburjan
cvb.fromLine: 2228
cvb.h1: FMDT 2023 Workshop on Applications of Formal Methods and Digital Twins 2023
cvb.h3: Proceedings of the Workshop on Applications of Formal Methods and Digital
  Twins co-located with 25th International Symposium on Formal Methods (FM 2023)
cvb.homepage: https://fm2023.isp.uni-luebeck.de/index.php/workshop-applications-of-formal-methods-and-digital-twins/
cvb.loc_city: "L\xFCbeck"
cvb.loc_country: Germany
cvb.loc_days: null
cvb.loc_locs: null
cvb.loc_month: March
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: "L\xFCbeck, Germany, March 06, 2023"
cvb.number: 3507
cvb.pubDate: '2023-10-16T00:00:00'
cvb.published: '2023-10-16'
cvb.seealso: ''
cvb.submittedBy: Eduard Kamburjan
cvb.tdtitle: "Proceedings of the Workshop on Applications of Formal Methods and Digital\
  \ Twins (FMDT 2023) co-located with 25th International Symposium on Formal Methods\
  \ (FM 2023) L\xFCbeck, Germany, March 06, 2023."
cvb.title: Proceedings of the Workshop on Applications of Formal Methods and Digital
  Twins
cvb.toLine: 2244
cvb.url: http://ceur-ws.org/Vol-3507/
cvb.urn: urn:nbn:de:0074-3507-7
cvb.urn_check_digit: 7
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Applications of Formal Methods and Digital Twins 2023
cvb.voltitle: Workshop on Applications of Formal Methods and Digital Twins 2023
cvb.volume_number: Vol-3507
cvb.year: '2023'
spt.acronym: FMDT 2023
spt.date: '2023-10-16'
spt.dblp: conf/fm/2023fmdt
spt.description: Proceedings of FMDT 2023 workshop
spt.html_url: /Vol-3507.html
spt.k10plus: '1876021373'
spt.number: 3507
spt.title: Proceedings of the Workshop on Applications of Formal Methods and Digital
  Twins
spt.url: http://ceur-ws.org/Vol-3507/
spt.urn: urn:nbn:de:0074-3507-7
spt.wikidataid: Q123527826
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-3507-7
wd.Volume: null
wd.dblpEventId: ''
wd.dblpProceedingsId: conf/fm/2023fmdt
wd.described_at_URL: http://ceur-ws.org/Vol-3507/
wd.event: http://www.wikidata.org/entity/Q123527827
wd.eventLabel: Workshop on Applications of Formal Methods and Digital Twins
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-3507/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q123527826
wd.itemDescription: Proceedings of FMDT 2023 workshop
wd.itemLabel: Proceedings of the Workshop on Applications of Formal Methods and Digital
  Twins
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '1876021373'
wd.publication_date: '2023-10-16T00:00:00'
wd.sVolume: 3507
wd.short_name: FMDT 2023
wd.title: Proceedings of the Workshop on Applications of Formal Methods and Digital
  Twins
