51
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Web Services and Formal Methods 

      DecSerFlow: Towards a Truly Declarative Service Flow Language

      other
      ,
      Springer Berlin Heidelberg

      Read this book at

      Buy book Bookmark
          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 references10

          • Record: found
          • Abstract: not found
          • Article: not found

          Workflow mining: discovering process models from event logs

            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            Simple On-the-fly Automatic Verification of Linear Temporal Logic

              Bookmark
              • Record: found
              • Abstract: not found
              • Book: not found

              Process-Aware Information Systems

                Bookmark

                Author and book information

                Book Chapter
                2006
                : 1-23
                10.1007/11841197_1
                75c1d1b7-951c-415d-bbfe-0cfb5cbf85da
                History

                Comments

                Comment on this book