KIT | KIT-Bibliothek | Impressum | Datenschutz

Automated Sustainability Compliance Checking Using Process Mining and Formal Logic

Schreiber, C.



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 ACM, New York
Seiten 181-184
Bemerkung zur Veröffentlichung cited By 0

Die Veranstaltung fand wegen der Corona-Pandemie als Online-Event statt
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page