Model-Checking Web Services Business Activity Protocols

Abinoam P. Marques, Anders Peter Ravn, Jiri Srba, Saleem Vighio

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

7 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Model-Checking Web Services Business Activity Protocols'. Together they form a unique fingerprint.

Computer Science

Keyphrases