Publications

Using Spin and Step to Verify Business Processes Specifications

AuthID
P-008-SWS

Author(s)

Augusto, JC

Butler, M

Ferreira, C

Craig, SJ

Editor(s)

Broy,M;Zamulin,AV

Document Type

Article

Year published

2003

Published

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

Volume: 2890, Pages: 207-213 (7)

Conference

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

Indexing