Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Verification from Declarative Specifications Using Logic Programming

3 references·2 citing·16 second hop

FromToDepth

this work references cited by second hop

References

2008Business Process Management Workshops761 cited
2007DECLARE: Full Support for Loosely-Structured Processes583 cited
2006A Declarative Approach for Flexible Business Processes Management501 cited

Cited by

2012Ontology-Based Querying of Composite Services24 cited
2010Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes21 cited

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