866 followers
RT @marmont81: Sarah Winkler just presented our paper @BPMConf #BPM2021 where we show how SMT can be used as a Swiss Army knife for conform…
RT @marmont81: Sarah Winkler just presented our paper @BPMConf #BPM2021 where we show how SMT can be used as a Swiss Army knife for conform…
Sarah Winkler just presented our paper @BPMConf #BPM2021 where we show how SMT can be used as a Swiss Army knife for conformance checking of Petri nets with data. Great group effort. Read it here: https://t.co/qg4YrxkPHc