SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
A system for deduction-based formal verification of workflow-oriented software models
0 references·1 citing·3 second hop
A system for deduction-based formal verification of workflow-oriented software models (2014)A system for deduction-based formal verif…Automatic Procedure Following Evaluation Using Petri Net-Based Workflows (2017)Automatic Procedure Following…Replaying history on process models for conformance checking and performance analysis (2012)Data-aware process mining (2013)Complete and Interpretable Conformance Checking of Business Processes (2017)
this work references cited by second hop

References

No references inside the corpus for this window.

Cited by

  • 2017Automatic Procedure Following Evaluation Using Petri Net-Based Workflows10 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work