Publicações

Using B Refinement to Analyse Compensating Business Processes

AuthID
P-008-SWR

Author(s)

Ferreira, C

Butler, M

Editor(es)

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

Tipo de Documento

Article

Year published

2003

Publicado

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

Volume: 2651, Páginas: 477-496 (20)

Conference

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

Indexing

Wos^®

Scopus^®

Crossref^®4

Google Scholar^®

Metadata
Fontes

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

Lista Marked

Adicionar à lista Marked

Info

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

Using B Refinement to Analyse Compensating Business Processes

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Using B Refinement to Analyse Compensating Business Processes

Links Úteis

Ajuda