There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 24

Record: found
Abstract: not found
Article: not found

Declarative workflows: Balancing between flexibility and support

W. VAN DER AALST, M Pesic, H Schönenberg (2009)

0 comments Cited 49 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Runtime Verification for LTL and TLTL

Christian Schallhart, Martin Leucker, Andreas Bauer (2011)

0 comments Cited 47 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata

Fabrizio Maggi, Marco Montali, Michael Westergaard … (2011)

0 comments Cited 31 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2016

Publication date (Online): September 08 2016

Pages: 158-175

DOI: 10.1007/978-3-319-45348-4_10

SO-VID: f2147553-025f-4d1b-9af2-e344ff004c52

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 1

Weighing the Pros and Cons: Process Discovery with Negative Examples
Authors: Tijs Slaats, Søren Debois, Christoffer Olling Back

See all cited by

Semantical Vacuity Detection in Declarative Process Mining

Read this book at

Related collections

Procedural speed in criminal law

Most cited references 24

Declarative workflows: Balancing between flexibility and support

Runtime Verification for LTL and TLTL

Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,178

Cited by 1