A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL

Anders Peter Ravn, Jiri Srba, Saleem Vighio

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

22 Citations (Scopus)

Fingerprint

Dive into the research topics of 'A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL'. Together they form a unique fingerprint.

Computer Science

Keyphrases