3 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Carl Corea, John Grant, Matthias Thimm
We address the problem of measuring inconsistency in declarative process specifications, with an emphasis on linear temporal logic on fixed traces (LTLff). As we will show, existin…