Publicações

Using Spin and Step to Verify Business Processes Specifications

AuthID
P-008-SWS

Author(s)

Augusto, JC

Butler, M

Ferreira, C

Craig, SJ

Editor(es)

Broy,M;Zamulin,AV

Tipo de Documento

Article

Year published

2003

Publicado

in PERSPECTIVES OF SYSTEM INFORMATICS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743

Volume: 2890, Páginas: 207-213 (7)

Conference

5Th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, Date: JUL 09-12, 2003, Location: Akademogordok, RUSSIA, Patrocinadores: Micorsoft Res Ltd, USAF European Off Aerosp Res & Dev, USN Off Res, Int Field Off, USA Commun Electr Command

Indexing