Publications

Using B Refinement to Analyse Compensating Business Processes

AuthID
P-008-SWR

Author(s)

Ferreira, C

Butler, M

Editor(s)

Bert,D;Bowen,JP;King,S;Walden,M

Document Type

Article

Year published

2003

Published

in ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743

Volume: 2651, Pages: 477-496 (20)

Conference

3Rd International Conference on B and Z Users, Date: JUN 04-06, 2003, Location: TURKU, FINLAND, Sponsors: ClearSy Syst Engn, Nokia, BCS FACS, FME, Z User Grp

Indexing

Wos^®

Scopus^®

Crossref^®4

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/3-540-44880-2_28

Scopus: 2-s2.0-33750708684

Wos: WOS:000184816700028

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Using B Refinement to Analyse Compensating Business Processes

Useful Links

Get Help

Federated Authentication (Click on the image)

Using B Refinement to Analyse Compensating Business Processes

Useful Links

Get Help