Máté Kovács

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with László Gönczy

> Home > Persons > Máté Kovács

Publications

2008
[j1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/csse/KovacsVG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csse/KovacsVG08
Máté Kovács, Dániel Varró, László Gönczy:
Formal analysis of BPEL. workflows with compensation by model checking. Comput. Syst. Sci. Eng. 23(5) (2008)
2007
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/KovacsVG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/KovacsVG07
Máté Kovács, Dániel Varró, László Gönczy:
Formal modeling of BPEL workflows including fault and compensation handling. EFTS 2007: 1
2006
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GonczyKV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GonczyKV07
László Gönczy, Máté Kovács, Dániel Varró:
Modeling and Verification of Reliable Messaging by Graph Transformation Systems. GT-VC@CONCUR 2006: 37-50
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KovacsG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KovacsG08
Máté Kovács, László Gönczy:
Simulation and Formal Analysis of Workflow Models. GT-VMT@ETAPS 2006: 221-230

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.