KIT | KIT-Bibliothek | Impressum | Datenschutz

Automated Sustainability Compliance Checking Using Process Mining and Formal Logic

Schreiber, C. ORCID iD icon 1
1 Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruher Institut für Technologie (KIT)

Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2020
Sprache Englisch
Identifikator ISBN: 978-1-4503-7595-5
KITopen-ID: 1000123903
Erschienen in International Conference on ICT for Sustainability, ICT4S 2020, 21st - 27th June 2020
Veranstaltung 7th International Conference on ICT for Sustainability (ICT4S 2020 2020), Online, 21.06.2020 – 27.06.2020
Verlag Association for Computing Machinery (ACM)
Seiten 181-184
Bemerkung zur Veröffentlichung Die Veranstaltung fand wegen der Corona-Pandemie als Online-Event statt
Nachgewiesen in Scopus
Dimensions

Download
Originalveröffentlichung
DOI: 10.1145/3401335.3401355
Scopus
Zitationen: 4
Dimensions
Zitationen: 3
Seitenaufrufe: 52
seit 24.09.2020
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page